Applications of Petri Nets

Literature

• Practice of Petri Nets in Manufacturing
  F. DiCesare, G. Harhalakis, J.M. Proth, M. Silva, F.B. Vernadat,
  Chapman and Hall, 1993.

• Applications of Petri nets in Manufacturing Systems: Modelling, Control and Performance Analysis
  A. A. Desrochers, R.Y. Al'Jaar,
  IEEE Press 1995,
  ISBN: 0-87942-295-5

• Intelligent Task Planning Using Fuzzy Petri Nets
  T.-H. Cao, A. C. Sanderson,
  Series in Intelligent Control and Intelligent Automation - Vol. 3, World Scientific Publishing Company, 1996,
  ISBN: 981-02-2556-3.

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

• Petri Nets: A Tool for Design and Management of Manufacturing Systems
  J.-M. Proth, X. Xie,
  John Wiley & Sons, Inc., 1997,
  ISBN: 0-471-96770-X.

• Lectures on Petri Nets II: Applications
  W. Reisig. G. Rozenberg (Eds.),
  Advances in Petri Nets, Lecture Notes in Computer Science, vol. 1492, Springer-Verlag, 1998.
  ISBN: 3-540-65307-4.
  Originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany, October 1996.

• Supervisory Control of Discrete Event Systems Using Petri Nets
  J.O. Moody, P. J. Antsaklis,
  Kluwer Academic Publishers 1998,
  ISBN: 0-7923-8199-8.
  More information available on book homepage

• Elements of Distributed Algorithms: Modeling and Analysis with Petri nets
  W. Reisig,
  Springer-Verlag, 1998,
  ISBN: 3-540-62752-9
  More information available on book homepage

• Modeling, Simulation, and Control of Flexible Manufacturing Systems : A Petri Net Approach
  M. Zhou, K. Venkatesh,
  Series in Intelligent Control and Intelligent Automation - Vol. 6, World Scientific Publishing Company, 1999,
  ISBN: 981-02-3029-X.

• Application of Petri Nets to Communication Networks
  J. Billington, M. Diaz, G. Rozenberg (Eds.),
  Lecture Notes in Computer Science, vol. 1605, Springer-Verlag, 1999,
  ISBN: 3-540-65870-X.

• Petri Net Technology for Communication-Based Systems
  H. Ehrig, W. Reisig, G. Rozenberg, H. Weber (Eds.),
  Lecture Notes in Computer Science, vol. 2472, Springer-Verlag, 2003,
  ISBN: 3-540-20538-1.

• Business Process Management: Models, Techniques, and Empirical Studies
  W.M.P. van der Aalst, J. Desel, A. Oberweis (Eds.),
  Lecture Notes in Computer Science, vol. 1806, Springer-Verlag, 1999,
  ISBN: 3-540-67454-3.

• Hardware Design and Petri Nets
  A. Yakovlev, L. Gomes, L. Lavagno (Eds.),
  Kluwer Academic Publishers, March 2000,
  ISBN: 0-7923-7791-5.

• Formal Methods in PLC Programming
  G. Frey, L. Litz (Eds.),
  Proceedings of the IEEE SMC 2000, Nashville, TN, 8-11 October 2000.
  Contains some applications of Petri Nets. See also survey paper.

• Concurrent Object-Oriented Programming and Petri Nets
  G.A. Agha, F. De Cindio, G. Rozenberg, (Eds.),
  Springer-Verlag, Berlin, 2001,
  ISBN: 3-540-41942-X.

• Clans of Petri Nets: Verification of protocols and performance evaluation of networks
  D.A. Zaitsev,
  LAP LAMBERT Academic Publishing, 2013, 292 p.
  ISBN: 978-3-659-42228-7

Other Resources

Examples of Industrial Use of Coloured Petri Nets

A list maintained at the University of Aarhus, Denmark.

Formal Methods Europe

Look under databases, applications, Petri Nets. We encourage you to add your favourite applications to that database.