A translation of TPAL_p into a class of timed-probabilistic Petri nets

DOI10.1016/J.TCS.2005.02.009MaRDI QIDQ557805zbMATH OpenOpenAlexFDO

Authors Antonio Bueno, Fernando Cuartero, Valentín Valero

Publication date 30 June 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.02.009

zbMATH Keywords

Concurrent systemsFormal methodsProcess algebraSoftware specificationTimed Petri nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2088674
• Probabilistic and prioritized models of timed CSP
• scientific article; zbMATH DE number 1696898
• scientific article; zbMATH DE number 744062
• scientific article; zbMATH DE number 140239

Cites work

• A model of probabilistic processes
• A timed model for communicating sequential processes
• Algebraic theory of probabilistic and nondeterministic processes.
• Algebraic theory of probabilistic processes.
• Bisimulation through probabilistic testing
• Discrete time generative-reactive probabilistic processes with different advancing speeds
• Finite representations of CCS and TCSP programs by automata and Petri nets
• scientific article; zbMATH DE number 1696456 (Why is no real title available?)
• scientific article; zbMATH DE number 1696898 (Why is no real title available?)
• scientific article; zbMATH DE number 4060688 (Why is no real title available?)
• scientific article; zbMATH DE number 54260 (Why is no real title available?)
• scientific article; zbMATH DE number 140226 (Why is no real title available?)
• scientific article; zbMATH DE number 1755138 (Why is no real title available?)
• Nets, Terms and Formulas
• Process algebra with timing
• Process algebra with timing: Real time and discrete time
• Reactive, generative, and stratified models of probabilistic processes
• TIC: a tImed calculus

Cited in

(1)

• Discussion on: ``Formal specification method for systems automation

This page was built for publication: A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q557805)