Lectures on Concurrency and Petri Nets

DOI10.1007/B98282MaRDI QIDQ5712295zbMATH OpenOpenAlexFDO

Authors Simona Bernardi, S. Donatelli, Andrea Bobbio

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98282

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1304838
• scientific article; zbMATH DE number 1786473
• Applications and Theory of Petri Nets 2004
• Introduction to generalized stochastic Petri nets
• Interval Markovian models in dependability evaluation

Cited in

(11)

• scientific article; zbMATH DE number 1424153 (Why is no real title available?)
• Dependability evaluation of an air traffic control computing system
• Analysing a mechatronic system with coloured Petri nets.
• Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums
• Error-correcting Petri nets
• scientific article; zbMATH DE number 5033888 (Why is no real title available?)
• scientific article; zbMATH DE number 2033528 (Why is no real title available?)
• Interval Markovian models in dependability evaluation
• Applications and Theory of Petri Nets 2005
• Elasticity and Petri Nets
• Applications and Theory of Petri Nets 2004

This page was built for publication: Lectures on Concurrency and Petri Nets

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