Introductions to Petri Nets

Literature

• Time and Petri Nets
  Louchka Popova-Zeugmann
  Springer 2013.
  ISBN: 978-3-642-41114-4
  More information: Springer

• Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
  Wolfgang Reisig
  Springer 2013.
  ISBN: 978-3-642-33277-7
  More information: PDF (ca 90 KB)

• Modeling Business Processes: A Petri Net Oriented Approach
  W.M.P. van der Aalst and C. Stahl
  MIT press, Cambridge, MA, 2011.
  http://cpntools.org/book/start

• Petrinetze. Modellierungstechnik, Analysemethoden, Fallstudien
  (in German only!)
  W. Reisig
  Vieweg+Teubner, 2010
  ISBN: 978-3-8348-1290-2
  More information available on book homepage (in German).

• Coloured Petri Nets. Modelling and Validation of Concurrent Systems
  K. Jensen and L.M. Kristensen
  Springer, 2009
  ISBN: 978-3-642-00283-0
  More information available on book homepage.

• Discrete, Continuous and Hybrid Petri Nets
  René David, Hassane Alla,
  Springer-Verlag, 2004,
  ISBN: 3-540-22480-7.

• Lectures on Concurrency and Petri Nets
  Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (Eds.),
  Advances in Petri Nets, Lecture Notes in Computer Science, vol. 3098, Springer-Verlag, 2004,
  ISBN: 3-540-22261-8.
  Originates from the Advanced Course on Petri Nets held in Eichstätt, Germany, September 2003.

• Theoretische Informatik - Petri-Netze
  L. Priese, H. Wimmel,
  Springer-Verlag, Berlin Heidelberg, 2003,
  ISBN: 3-540-44289-8.
  Note: In German

• Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
  C. Girault, R. Valk,
  Springer-Verlag, 2002,
  ISBN: 3-540-41217-4.

• Stochastic Petri Nets -- An Introduction to the Theory (2nd edition)
  F. Bause, P. Kritzinger,
  Vieweg Verlag, Germany, 2002,
  ISBN: 3-528-15535-3.
  More information available on book homepage

• Stochastic Petri Nets: Modelling, Stability, Simulation
  P. Haas,
  Springer-Verlag, New York, 2002,
  ISBN: 0-387-95445-7.
  More information available on book homepage

• Workflow Management: Models, Methods, and Systems
  Wil van der Aalst, Kees van Hee,
  MIT Press, 2002,
  ISBN: 0-262-01189-1.

• Supervision of Petri Nets
  Geert Stremersch,
  Kluwer International Series on Discrete Event Dynamic Systems, 2001,
  ISBN: 0-7923-7486-X.

• Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets
  R. German,
  John Wiley and Sons, 2000,
  ISBN: 0471-49258-2.
  More information available on book homepage

• Fuzziness in Petri Nets
  J. Cardoso, H. Camargo (Eds.),
  Studies in Fuzziness and Soft Computing series, Vol. 22, Springer-Verlag, 1999,
  ISBN: 3-7908-1158-0.

• Lectures on Petri Nets I: Basic Models
  W. Reisig, G. Rozenberg (Eds.),
  Advances in Petri Nets, Lecture Notes in Computer Science, vol. 1491, Springer-Verlag, 1998,
  ISBN: 3-540-65306-6.
  Originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany, October 1996.

• Performance Modelling with Deterministic and Stochastic Petri Nets
  C. Lindemann,
  John Wiley and Sons, 1998,
  ISBN: 0-471-97646-6.
  More information available on book homepage

• Timed Petri Nets, Theory and Application
  J. Wang,
  Kluwer Academic Publishers 1998,
  ISBN: 0-7923-8270-6.

• Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts
  K. Jensen,
  Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997,
  ISBN: 3-540-60943-1.
  More information available on book homepage

• Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods
  K. Jensen,
  Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997,
  ISBN: 3-540-58276-2.
  More information available on book homepage

• Free Choice Petri Nets
  J. Desel, J. Esparza,
  Cambridge Tracts in Theoretical Computer Science 40, Cambridge University Press, 1995,
  ISBN: 0-521-46519-2.

• Modelling with Generalized Stochastic Petri Nets
  M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis,
  Wiley Series in Parallel Computing, John Wiley and Sons, 1994,
  ISBN: 0-471-93059-8.
  More information available on book homepage

• Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
  R. David, H. Alla,
  Prentice Hall, 1992,
  ISBN: 0-13-327537-X

• Petri Nets: Properties, Analysis and Applications
  T. Murata,
  Proceedings of the IEEE, Vol. 77, No 4, April, 1989, pp. 541-580.

• Notations and Terminology on Petri Net Theory
  E. Best, C. Fernandez,
  Arbeitspapiere der GMD 195, March 1987.

• Advanced Course on Petri Nets
  Bad Honnef, West Germany, September 1986. Published in `Advances' series, LNCS Vols 254, 255, 1987.

• Petri Nets, An Introduction
  W. Reisig,
  EATCS, Monographs on Theoretical Computer Science, W.Brauer, G. Rozenberg, A. Salomaa (Eds.), Springer Verlag, Berlin, 1985.

• Petri Net Theory and the Modeling of Systems
  J. L. Peterson,
  Prentice-Hall, N.J., 1981,
  ISBN: 0-13-661983-5

Tutorials

Interactive Tutorials to Petri Nets

Short animated examples on simulation, state spaces, and invariants created by Wil van der Aalst et al.

Introductory Tutorial on Petri Nets

Slides presented at the Petri Nets conference, June 2000, Aarhus, Denmark. Organised by Gianfranco Balbo, Jörg Desel, Kurt Jensen, Wolfgang Reisig, Grzegorz Rozenberg, and Manuel Silva. Contains tutorials on Elementary Net Systems, Place/Transition Nets, Coloured Petri Nets, Elementary Net Systems, and Generalised Stochastic Petri Nets. (For more tutorials see Material from Satellite Events on the conference Web page.)
Download: PDF (7.4 MB)

ICTAC Tutorial

Slides presented at the 3rd International Colloquium on Theoretical Aspects of Computing, Tunis, Tunisia, 20-24 November 2006. The tutorials were held by L. Petrucci, C. Choppy, S. Haddad, Y. Thierre-Mieg, F. Kordon, and H. Klaudel and cover a wide range of topics focussing on modeling and verification.
Link: http://lip6.fr/Fabrice.Kordon/ICTAC-tutorial

Surveys on Introductions

• List of Petri Nets general references - posting on mailing list.

Online Introductions

Search the Web

• Google