Petri nets and dependability

DOI10.1007/978-3-540-27755-2_4MaRDI 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

• Incremental approach for building stochastic Petri nets for dependability modeling
• Introduction to stochastic Petri nets
• Stochastic methods for dependability, performability, and security evaluation
• Introduction to generalized stochastic Petri nets
• Interval Markovian models in dependability evaluation

Cited in

(12)

• Analysing a mechatronic system with coloured Petri nets.
• Elasticity and Petri Nets
• Dependability modeling and analysis of distributed programs
• Dependability evaluation. From functional to structural modelling
• Dependability evaluation of an air traffic control computing system
• scientific article; zbMATH DE number 1424153 (Why is no real title available?)
• Interval Markovian models in dependability evaluation
• scientific article; zbMATH DE number 5033888 (Why is no real title available?)
• Error-correcting Petri nets
• Stochastic methods for dependability, performability, and security evaluation
• Particle Petri nets for aircraft procedure monitoring under uncertainty
• Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums

This page was built for publication: Petri nets and dependability

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