Tutorial and Survey Articles: An introduction to Petri Nets

DOI10.1080/03081070310001623366zbMath1126.68494OpenAlexW2009886274MaRDI QIDQ4458384

Miryam Barad

Publication date: 17 March 2004

Published in: International Journal of General Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/03081070310001623366

zbMATH Keywords

invariantsPetri netshigh level Petri netsdecomposing Petri netstimed places

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coloured Petri nets and the invariant-method
• Discrete Time Stochastic Petri Nets
• A Petri net model for the operational design and analysis of segmented flow topology (SFT) AGV systems
• Modular Analysis of Petri Nets
• On possibilistic timed safe Petri nets
• Concurrent vector discrete-event systems