08/09/13

• tools
• bibliography
• people

For an introduction to Petri net modeling and execution, see the Business Information Systems course and the following book:

CPN Tools is the de facto standard tool for editing, simulating, and analyzing high-level Petri nets.

The following list with basic publications and books is taken from the Petri net home page:

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

   

• 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