Tutorial and Survey Articles: An introduction to Petri Nets

DOI10.1080/03081070310001623366MaRDI QIDQ4458384zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3922334
• A brief survey and synthesis of the roles of time in Petri nets.
• scientific article; zbMATH DE number 1228291
• Petri net models of flexible and automated manufacturing systems: a survey
• Petri nets. Fundamental models, verification and applications.

Cites work

• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 1220172 (Why is no real title available?)
• scientific article; zbMATH DE number 877807 (Why is no real title available?)
• A Petri net model for the operational design and analysis of segmented flow topology (SFT) AGV systems
• Coloured Petri nets and the invariant-method
• Concurrent vector discrete-event systems
• Discrete Time Stochastic Petri Nets
• Modular Analysis of Petri Nets
• On possibilistic timed safe Petri nets

Cited in

(13)

• scientific article; zbMATH DE number 47952 (Why is no real title available?)
• Petri nets with time
• scientific article; zbMATH DE number 3922334 (Why is no real title available?)
• scientific article; zbMATH DE number 54260 (Why is no real title available?)
• scientific article; zbMATH DE number 1304239 (Why is no real title available?)
• Asynchronous composition of high level Petri nets: a quantitative approach
• Decomposing Timed Petri Net Models of Open Queueing Networks
• Formalization of Petri nets with clocks
• scientific article; zbMATH DE number 53942 (Why is no real title available?)
• scientific article; zbMATH DE number 4096792 (Why is no real title available?)
• Advances in Petri nets 1989. 9th European workshop on applications and theory of Petri nets, Venice, Italy in June 1988. Proceedings
• Timed Hierarchical Object-Oriented Petri Net-Part I: Basic Concepts and Reachability Analysis
• A Petri net system -- an overview

This page was built for publication: Tutorial and Survey Articles: An introduction to Petri Nets

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