Skip to main content
SpringerLink
Log in

Petri nets and production systems

  • IV Applications of Elementary Net Systems and Place/Transition Nets
  • Chapter
  • First Online:
Lectures on Petri Nets II: Applications (ACPN 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1492))

Included in the following conference series:

Abstract

Modern production systems pose a diversity of problems all along their life cycle which are often treated with particular independent formalisms and techniques. Production systems can be viewed as discrete event, continuous, or hybrid systems. Petri nets are a family of formalisms which can be used for the modelling, analysis, implementation and control of these systems, with the benefit of improving the communication between stages of the life cycle.

The utilisation of Petri nets in several of these stages is illustrated in this tutorial paper through a selected set of examples.

The work of the first two authors was partially supported by Project TIC-94-0242 of the Spanish CICYT and Contract CHRX-CT94-0452 (MATCH) within the HCM Programme of the EU.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley, 1995.

    Google Scholar 

  2. S. Amax, E. Craye, and J. C. Gentina. A method for hierarchical specification and prototyping of flexible manufacturing systems. In Proc. IEEE Workshop on Emerging Technologies and Factory Automation, pages 44–59, Melbourne, Australia, 1992.

    Google Scholar 

  3. D. Andreu, J.C. Pascal, H. Pingaud, R. Valette. Batch process modelling using Petri nets. In 1994 IEEE International Conference on Systems, Man and Cybernetics, pages 314–319, San Antonio, USA, October 1994.

    Google Scholar 

  4. D. Andreu, J.C. Pascal, R. Valette. Events as a Key of a Batch Process Control System. In CESA'96 IMACS Multiconference, Symposium on Discrete Events and Manufacturing Systems, pages 297–302, Lille, July 1996.

    Google Scholar 

  5. A. Avizenis and J. P. Kelly. Fault tolerance by design diversity: Concepts and experiments. Computer, 17(8):67–80, 1984.

    Google Scholar 

  6. J. M. Ayache, P. Azema, and M. Diaz. Observer, a concept for on line detection for control errors in concurrent systems. In Proc. 9 th IEEE Int. Sypm. Fault-Tolerant Computing, pages 79–86, Madison, WI, USA, June 1992.

    Google Scholar 

  7. K. Barkaoui, J. F. Pradat-Peyre. On liveness and controlled siphons in Petri nets. In Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091, pages 57–72, Springer, 1996.

    Google Scholar 

  8. G. W. Brams. Réseaux Réseaux Petri: Théorie et Pratique. Masson, 1983.

    Google Scholar 

  9. H. Camus, H. Ohl, O. Korbaa, and J. C. Gentina. Cyclic schedules in FMS with flexibilities in operating sequences. In Silva et al. [44], pages 97–116.

    Google Scholar 

  10. R. Champagnat, P. Esteban, H. Pingaud, R. Valette. Petri net based modelling of hybrid systems. In ICIMS-NOE ASI'96 Conference, Life cycle approaches to production systems, management, control, supervision, pages 53–60, Toulouse, France, 1996.

    Google Scholar 

  11. P. Chretienne, E. G. Coffman, J. K. Lengstra, and Z. Liu, editors. Scheduling Theory and its Applications. Wiley, 1995.

    Google Scholar 

  12. J. M. Colom, M. Silva, and J. L. Villarroel. On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. In Proc. 7 th European Workshop on Application and Theory of Petri Nets, pages 207–241, Oxford, England, July 1986.

    Google Scholar 

  13. Y. Dallery and S. B. Gershwin. Manufacturing flow line systems: A review of models and analytical results. Queueing Systems: Theory and Applications, 12:3–94, 1992.

    Google Scholar 

  14. B. Daubas, A. Pages, H. Pingaud. Combined simulation of hybrid processes. In 1994 IEEE International Conference on Systems, Man and Cybernetics, pages 320–325, San Antonio, USA, October 1994.

    Google Scholar 

  15. R. David and H. Alla. Continuous Petri Nets. In 8th European Workshop on Application and Theory of Petri Nets, pages 275–294, Zaragoza, June 1987.

    Google Scholar 

  16. R. David and H. Alla. Petri Nets and Grafcet. Prentice-Hall, 1992.

    Google Scholar 

  17. I. Demongodin, N. Audry, F. Prunet. Batches Petri Nets. In IEEE International Conference on Systems, Man and Cybernetics, pages 607–617, Le Touquet, France, October 1993.

    Google Scholar 

  18. A. Desrochers, editor. Modeling and Control of Automated Manufacturing Systems. IEEE Computer Society Press, 1989.

    Google Scholar 

  19. A. Desrochers and R. Y. Al-Jaar. Applications of Petri Nets in Manufacturing Systems. IEEE Press, 1994.

    Google Scholar 

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

    Google Scholar 

  21. J. Ezpeleta, J. M. Colom, and J. Martínez. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation, 11(2):173–184, 1995.

    Google Scholar 

  22. H. Genrich, H-M. Hanisch, K. Woellhaf. Verification of recipe-based control procedures by means of predicate/transition nets. In Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pages 278–297, Springer, 1994.

    Google Scholar 

  23. S. B. Gershwin. Manufacturing Systems Engineering. Prentice-Hall, 1994.

    Google Scholar 

  24. C. Hanen and A. Munier. Cyclic scheduling problems: An overview. In Chretienne et al. [11].

    Google Scholar 

  25. H. M. Hanisch. On the use of Petri nets for design, verification and optimization of control procedures for batch processes. In 1994 IEEE International Conference on Systems, Man and Cybernetics, pages 326–330, San Antonio, USA, October 1994.

    Google Scholar 

  26. K. Jensen, et al. Design/CPN, Reference manual, Meta Software and Computer Science Department, University of Aarhus, Denmark 1997. On-line version: http://www.daimi.aau.dk/designCPN/

    Google Scholar 

  27. J. Le Bail, H. Alla, and R. David. Hybrid Petri Net. In European Control Conference, p.1472–1477, Grenoble, France, July 1991.

    Google Scholar 

  28. N. G. Leveson and J. L. Stolzy. Safety analysis using Petri nets. IEEE Trans. on Software Engineering, 13(3):386–397, 1987.

    Google Scholar 

  29. J. Martinez, P. Muro, and M. Silva. Modeling, validation and software implementation of production systems using high level Petri nets. In M. Silva and T. Murata, editors, Invited Sessions: Petri Nets and Flexible Manufacturing. IEEE Int. Conf. on Robotics and Automation, pages 1180–1185, Raleigh, NC, USA, April 1987.

    Google Scholar 

  30. J. Martinez, P. Muro, M. Silva, S. F. Smith, and J. L. Villarroel. Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. In R. Huber et al., editors, Artificial Intelligence in Scientific Computation, pages 307–313. Scientific Publishing Co., 1989.

    Google Scholar 

  31. F. J. McWilliams and N. J. A. Sloan. The Theory of Error-Correcting Codes. Handbooks in Operations Research and Management Science. North-Holland, 1981.

    Google Scholar 

  32. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580, 1989.

    Google Scholar 

  33. H. T. Papadopoulos, C. Heavey, and J. Browne. Queueing Theory in Manufacturing Systems Analysis and Design. Chapman & Hall, 1993.

    Google Scholar 

  34. C. Proix, C. Lansade. MissRdP5 Manuel, de reference, IXI, Toulouse, January 1997, (IXI/TLS/mrdp/MdR/D63.E).

    Google Scholar 

  35. J. M. Proth and X. Xie. Petri Nets. A Tool for Design and Management of Manufacturing Systems. Wiley, 1996.

    Google Scholar 

  36. A. Sahraoui, M. Courvoisier, R. Valette. Some considerations on monitoring in distributed real-time control of flexible manufacturing systems. In International Conference on Industrial Electronics, Control and Instrumentation, IECON 86, p.805–810, Milwaukee, USA, Sept. 1986.

    Google Scholar 

  37. A. Sahraoui, H. Atabakhche, M. Courvoisier, R. Valette. Joining Petri nets and knowledge based systems for monitoring puposes. In IEEE International Conference on Robotics and Automation, p.1160–1165, Raleigh, USA, April 1987.

    Google Scholar 

  38. J. Sifakis. Realization of fault-tolerant systems by coding Petri nets. Design Automation and Fault-Tolerant Computing, 3(2):93–107, 1979.

    Google Scholar 

  39. M. Silva. Las Redes de Petri: en la Automática y la Informática. AC, 1985.

    Google Scholar 

  40. M. Silva. Interleaving functional and performance structural analysis of net models. In Ajmone Marsan (ed.), Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science. Springer, 1993, pages 17–23.

    Google Scholar 

  41. M. Silva and E. Teruel. A systems theory perspective of discrete event dynamic systems: The Petri net paradigm. In P. Borne, J. C. Gentina, E. Craye, and S. El Khattabi, editors, Symposium on Discrete Events and Manufacturing Systems. CESA '96 IMACS Multiconference, pages 1–12, Lille, France, July 1996.

    Google Scholar 

  42. M. Silva and E. Teruel. Petri nets for the design and operation of manufacturing systems. European Journal of Control, 3(3), 1997.

    Google Scholar 

  43. M. Silva and R. Valette. Petri nets and flexible manufacturing. In G. Rozenberg, editor, Advances in Petri Nets 1989, volume 424 of Lecture Notes in Computer Science, pages 374–417. Springer, 1989.

    Google Scholar 

  44. M. Silva, R. Valette, and K. Takahashi, editors. Procs. 1 st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan, June 1996.

    Google Scholar 

  45. M. Silva and S. Velilla. Error detection and correction on Petri net models of discrete event control systems. In Proc. ISCAS 85, pages 921–924, 1985.

    Google Scholar 

  46. A.K.A. Toguyeni, S. El Khattabi, E. Craye. Functional and/or structural approach for the supervision of flexible manufacturing systems, In IEEE-SMC CESA'96 Multiconference, Symposium on Discrete Events and Manufacturing Systems, p.716–721, Lille, France, July 1996.

    Google Scholar 

  47. F. Tricas and J. Martinez. An extension of the liveness theory for concurrent sequential processes competing for shared resources. In IEEE Int. Conf. on Systems, Man, and Cybernetics, pages 4119–4124, Vancouver, Canada, October 1995.

    Google Scholar 

  48. C. Valentin, P. Ladet. Flow modelling in a class of hybrid (continuous-discrete) systems. In IEEE International Conference on Systems, Man and Cybernetics, Le Touquet, France, October 1993.

    Google Scholar 

  49. R. Valette and M. Courvoisier. Petri nets and artificial intelligence. In R. Zurawski and T. Dillon, editors, Modern Tools for Manufacturing Systems, pages 385–405. Elsevier, 1993.

    Google Scholar 

  50. R. Valette, M. Courvoisier, J. M. Bigou, and J. Albukerque. A Petri nets based programmable logic controller. In IFIP 1st Int. Conf. on Computer Applications in Production and Engineering, Amsterdam, Holland, April 1983.

    Google Scholar 

  51. R. Valette, H. Pingaud, A. Pagès, D. Andreu, J.C. Pascal. Modeling simulation and control of event-driven operations in process systems. In INRIA/IEEE Conference on Emerging Technologies and Factory Automation ETFA'95, p. 119–128 (Vol. 3), Paris, France, Oct. 1995

    Google Scholar 

  52. S. Velilla and M. Silva. The spy: A mechanism for safe implementation of highly concurrent systems. In Real Time Programming 1988, 15 th IFAC/IFIP Workshop, pages 95–102, Valencia, Spain, May 1988. Pergamon.

    Google Scholar 

  53. J. L. Villarroel, J. Martínez, and M. Silva. GRAMAN: A graphic system for manufacturing system design. In S. Tzafestas, A. Eisinberg, and L. Carotenuto, editors, IMACS Symp. on System Modelling and Simulation, pages 311–316. Elsevier, 1988.

    Google Scholar 

  54. N. Viswanadham and Y. Narahari. Performance Modeling of Automated Manufacturing Systems. Prentice-Hall, 1992.

    Google Scholar 

  55. E.C. Yamalidou, J.C. Kantor. Modeling and optimal control of discrete-event chemical processes using Petri nets. Computers Chem. Engng, Vol.15, No 7, p.503–519, 1991.

    Google Scholar 

  56. E. Zamai, A. Chaillet-Subias, M. Combacau, A. de Bonneval. A hierarchical structure for control of discrete event systems and monitoring of process failures. Studies in Informatics and Control, Vol.6, N 1, p. 7–15, 1997.

    Google Scholar 

  57. M. C. Zhou and F. DiCesare. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, 1993.

    Google Scholar 

  58. A. Zimmermann, S. Bode, and G. Hommel. Performance and dependability evaluation of manufacturing systems using Petri nets. In Silva et al. [44], pages 235–250.

    Google Scholar 

  59. R. Zurawski and M. C. Zhou. Special issue on Petri nets in manufacturing. IEEE Trans. on Industrial Electronics, 41(6), 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DIIS-CPS, Maria de Luna 3, 50015, Zaragoza, Spain

    Manuel Silva & Enrique Teruel

  2. LAAS-CNRS, 7 Av. Colonel Roche, 31077, Toulouse Cédex 4, France

    Robert Valette

  3. LGC-ENSIGC-CNRS, Chemin de la Loge, 31078, Toulouse Cédex, France

    Hervé Pingaud

Authors
  1. Manuel Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Enrique Teruel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Robert Valette
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hervé Pingaud
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wolfgang Reisig Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Silva, M., Teruel, E., Valette, R., Pingaud, H. (1998). Petri nets and production systems. In: Reisig, W., Rozenberg, G. (eds) Lectures on Petri Nets II: Applications. ACPN 1996. Lecture Notes in Computer Science, vol 1492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-65307-4_47

Download citation

  • DOI: https://doi.org/10.1007/3-540-65307-4_47

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65307-3

  • Online ISBN: 978-3-540-49441-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation