02/17/11

• tools
• bibliography
• people

For an introduction to Petri net modeling and execution, use the Petri net applet.

The following list is taken from the Petri net home page:

Literature

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

   

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

   

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

   

• 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.

   

• 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.

   

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

   

• 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

   

• 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

   

• 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

   

• 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

   

• 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

   

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

   

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

   

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

   

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

   

• 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.

   

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

   

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

   

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

   

• 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 and Grafcet: Tools for Modelling Discrete Event Systems
  R. David, H. Alla,
  Prentice Hall, 1992,
  ISBN: 0-13-327537-X

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.
Download: PDF (7.4 MB)

Surveys on Introductions

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

Online Introductions

Search the Web

• Google