Skip to main content
SpringerLink
Log in

Applying Petri Net Based Models in the Design of Systems

  • Chapter
Concurrency and Nets

Abstract

Many approaches are being developed for handling the different phases in the design of complex information systems, namely specification, verification, evaluation, implementation and testing. These approaches are more or less applicable to the various specific aspects of the design phases and partially supported by efficient tools. This paper deals with one of the most important approaches used in the design of information systems, i. e., the Petri net based models approach, which proves particularly interesting. It is indicated how Petri net based models are used to represent systems behavior and then some of the resulting advantages are given. Furthermore, it is emphasized why and how a Petri net based approach can support all the design phases and it is made clear for which purposes and in which applications Petri net based designs are important. A few illustrative examples are also given.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. P. Alanche, K. Benzakour, F. Dolle, F. Gillet, P. Rodrigues, R. Valette, “PSI, a Petri net based simulator for flexible manufacturing systems”, 5th Eur Workshop on Petri nets, Aarhus, and LNCS 188, Springer-Verlag, 1984, G. Rozenberg Editor, 1984.

    Google Scholar 

  2. M. Auguin, F. Boeri, C. Andre, “New design using PLAs and Petri nets”, MECO 78, Athens, June 1978.

    Google Scholar 

  3. JM. Ayache, M. Diaz, H. Konber, “Specification and Verification of Signaling Protocols”, Int. Switching Symposium, ISS81, Verdun, CANADA, September 1981.

    Google Scholar 

  4. JM. Ayache, JP. Courtiat, M. Diaz, “REBUS: a fault-tolerant distributed system for industrial real time control”, IEEE Tr on Computers, Special Issue on Fault-Tolerant Computing, July 1982.

    Google Scholar 

  5. P. Azema, G. Papapanagiotakis, “Protocol Analysis by using Predicate Nets”, Protocol Specification, Testing and Verification, M. DIAZ Editor, North Holland 1986.

    Google Scholar 

  6. P. Azema, B. Berthomieu, P. Decitre, “The design and validation by Petri nets of a mechanism for the invocation of remote servers”, Proc IFIP Congress, Melbourne, October 1980.

    Google Scholar 

  7. JL. Baer, G. Gardarin, C. Girault, G. Roucairol, “The two step commitment protocol: modelling, specification and proof methodology”, 5th Conf on Software Engineering, San Diego, March 1981.

    Google Scholar 

  8. G. Balbo, S.C. Bruell, S. Ghanta, “Combining queueing network and generalized stochastic Petri nets models for the analysis of some software blocking phenomena”, IEEE Tr on Software Engineering, Vol SE12, N 4, April 1986.

    Google Scholar 

  9. B. Baumgarten, P. Ochsenschlager, R. Prinoth, “Building blocks for distributed system design”, Protocol Specification, Testing and Verification, Toulouse-Moissac, June 1985, North Holland, 1986, M. Diaz Editor.

    Google Scholar 

  10. B. Baumgarten, P. Ochsenschlager, R. Prinoth, “A formal model of the CCR algorithm”, GMD report 186, December 1985, also IFIP Protocol Specification, Validation and Testing, Montreal, June 1986.

    Google Scholar 

  11. C. Beounes, JC. Laprie, “Dependability evaluation of complex computer systems: stochastic Petri net modelling”, IEEE Int Symp on Fault Tolerant Computing, FTCS15, Ann Arbor, June 1985.

    Google Scholar 

  12. B. Berthomieu, M. Menasche, “An enumerative approach for analysing time Petri nets”, Proc. of the IFIP Congress, Paris, September 1983.

    Google Scholar 

  13. G. Berthelot, R. Terrat, “Petri nets theory for the correctness of protocols”, 2nd. Europ. Workshop on Appl. & Theory of Petri nets, Bad Honnef (F.R.G.), September 1981, pp.31–58, also IEEE Trans. on Communications, Vol COM-30, no.12, December 1982.

    Google Scholar 

  14. A. Bertoni, M. Torelli, “Probabilistic Petri nets and semi Markov processes”, 2nd Eur Workshop on Application and Theory of Petri nets, Bad Honnef, September 1981.

    Google Scholar 

  15. B. Beyaert, G. Florin, S. Natkin, P. Lonc, “Evaluation of computer system dependability using stochastic Petri nets”, IEEE Int Symp on Fault Tolerant Computing, FTCS11, Portland, June 1981.

    Google Scholar 

  16. J. Billington, “Specification of the Transport service using numerical Petri nets”, 2nd Int. Workshop on Protocol Specification, Testing and Verification, Idyllwild Los Angeles, May 1982, North-Holland, 1982, C. Sunshine Editor. also “Abstract specification of the ISO transport service definition using labeled numerical Petri nets”, North Holland, 3rd Int. Workshop on Protocol Specification, Verification and Testing, 1983, H. Rudin C. West Editors.

    Google Scholar 

  17. J. Billington, M.C. Wilbur-Ham, M.Y. Bearman, “Automated Protocol Verification”, Proc. of the 5th Int. Workshop on Protocol Specification, Testing and Verification, M. Diaz Editor, North Holland, 1986.

    Google Scholar 

  18. G.V. Bochmann, “Finite state description of communication protocols”, Conf. Computer Network Protocols, Liège, 1978, also in Computer Networks 2, 1978, pp. 361-372.

    Google Scholar 

  19. G.V. Bochmann, “A general transition model for protocols and communication services”, IEEE Trans. on Communications, vol. COM-28, no. 4, April 1980, pp. 643–650.

    Google Scholar 

  20. G.V. Bochmann, C.A. Sunshine, “Formal methods in communication protocol design”, IEEE Trans. on Communications, vol. COM-28, no. 4, April 1980, pp. 624–631.

    Google Scholar 

  21. H.J. Burkhart, H. Eckert, R. Prinoth, “Modelling of OSI services and protocols using Predicate-Transition Nets”, Protocol Specification, Testing and Verification, Skytop, June 1984, North Holland, 1985, Y. Yemini Et Al Editors.

    Google Scholar 

  22. G. Bruno, G. Marchetto, “Process-translatable Petri nets for the rapid prototyping of process control systems”, IEEE Tr on Software Eng, Vol SE12, N 2, February 1986.

    Google Scholar 

  23. G. Bruno, P. Biglia, “Performance evaluation and validation of tool handling in flexible manufacturing systems using Petri nets”, IEEE Proc of the Int Workshop on Timed Petri nets, Torino, July 1985.

    Google Scholar 

  24. C. Chatelin, C. Girault, S. Haddad, “Specification and properties of a cache coherence protocol model”, 7th Eur Worshop on the Application and Theory of Petri nets, Oxford, June 1986.

    Google Scholar 

  25. B. Chezalviel-Pradin, “Un outil graphique interactif pour la verification des systemes decrits par reseaux de Petri”, These de Dr Ingenieur, UPS, 1979.

    Google Scholar 

  26. J.P. Courtiat, J.M. Ayache, B. Algayres, “Petri Nets are Good for Protocols”, SIGCOMM 84 Symposium; also in Computer Communications Review, 14, No. 2, 1984.

    Google Scholar 

  27. M. Courvoisier, JP. Seck, “Hardware implementation of generalized Petri nets”, Electronics Letters, Vol 15, N 24, November 1979.

    Google Scholar 

  28. M. Courvoisier, “A matrix based implementation of generalized Petri nets”, 3rd Eur Workshop on Petri nets, Varenna, also Springer-Verlag, Informatik 66, Applications and Theory of Petri nets, 1983.

    Google Scholar 

  29. M. Courvoisier, “Description et realisation de systemes de commande a evolutions simultanees, revue” RAIRO, Fevrier 1985.

    Google Scholar 

  30. M. Courvoisier, “An asynchronous logic array for the realization of logic systems with concurrency”, Electronics Letters, Vol 14, N 4, December 1977.

    Google Scholar 

  31. M. Courvoisier, R. Valette, “Description and realization of parallel systems”, COMPCON Fall, Washington, September 1977.

    Google Scholar 

  32. A.S. Danthine, “Protocol representation with finite-state models”, IEEE Trans. on Communications, vol. COM-28, no. 4, pp. 632–643, April 1980.

    Google Scholar 

  33. M. Diaz, “Modelling and analysis of communication and cooperation protocols using Petri net based models”, Tutorial paper, Computer Networks, December 1982.

    Google Scholar 

  34. M. Diaz, J.P. Courtiat, B. Berthomieu, J.M. Ayache, “Status of Petri net based models for protocols”, IEEE Int. Conf. on Communications, ICC 83, Boston, June 1983.

    Google Scholar 

  35. M. Diaz, G. Guidacci Da Silveira, “On the specification and validation of protocols by temporal logic and nets”, Proceedings of the IFIP 83 Congress, Paris, September 1983.

    Google Scholar 

  36. M. Diaz, “Nets in the specification and verification of protocols”, Advanced Course on Petri nets, Bad Honnef, September 1986.

    Google Scholar 

  37. G. Estrin, R.S. Fenchel, R.R. Razouk, M.K. Vernon, “SARA: Modelling, analysis and simulation support for design of concurrent systems”, IEEE Tr on Software Eng, Vol SE12, N 2, February 1986.

    Google Scholar 

  38. J. Dufau, “OGIVED, Un outil pour la verification des protocoles décrits par Réseaux de Petri”, Thèse de Docteur-Ingénieur, Univ. Paul Sabatier, Toulouse, Janvier 1984.

    Google Scholar 

  39. G. Florin, S. Natkin, “Les reseaux de Petri stochastiques”, revue AFCET-TSI, Vol 4, N 1, 1985.

    Google Scholar 

  40. G. Florin, S. Natkin, B. Lonc, “An evaluation CAD tool based on stochastic Petri nets”, IFIP Working Conf on Reliable computing in the 1980’s, London, September 1979.

    Google Scholar 

  41. G. Florin, S. Natkin, “Evaluation based on stochastic Petri nets of the maximum throughput of a full duplex protocol”, 2nd Eur Workshop on Applications and Theory of Petri nets, Informatik 52, Springer-Verlag, C. Giraud and W. Reisig Editors, 1982.

    Google Scholar 

  42. G. Florin, S. Natkin, “Ergodicity criteria for stochastic Petri nets”, 5th EUR Workshop on Application and Theory of Petri nets, Aarhus, June 1984.

    Google Scholar 

  43. H.J. Genrich, K. Lautenbach, “System modelling with high-level Petri nets”, Theoretical Computer Science 13, North Holland, 1981.

    Google Scholar 

  44. H.J. Genrich, K. Lautenbach, “The analysis of distributed systems by means of Predicate-Transition nets”, Semantics of Concurrent Computation, Evian 1979, G. Kahn Editor, Lect. Notes in Computer Sciences, vol. 70, Springer Verlag 1979, pp. 123–146.

    Google Scholar 

  45. H.J. Genrich, K. Lautenbach, P.S. Thiagarajan, “Elements of Net Theory”, LNCS, 84, 1980.

    Google Scholar 

  46. J. Guttag, “Notes on type abstractions”, Proc of the Conf on Reliable Software, 1979.

    Google Scholar 

  47. G.S. Hura, H. Singh, N.K. Nanda, “Some design aspects of databases through Petri net modelling”, IEEE Tr on Software Eng, Vol SE12, N 4, April 1986.

    Google Scholar 

  48. K. Jensen, “Coloured Petri nets and the invariant method”, Theor. Comp. Science, 14, 1981.

    Google Scholar 

  49. K. Jensen, “High level Petri nets”, Advanced Course on Petri nets, Bad Honnef, September 1986.

    Google Scholar 

  50. G. Juanole, B. Algayres, J. Dufau, “On Communications Protocol Modelling and Design” LN in CS, Springer Verlag, 188, Advances in Petri nets 1984, G. Rozenberg Editor.

    Google Scholar 

  51. J.L.W. Kessels, “An alternative to event queue for synchronization in monitors”, Comm of the ACM, Vol 20, N 7, July 1977.

    Google Scholar 

  52. R.M. Keller, “Formal verification of parallel programs”, Com. ACM 19-7, July 1976, pp. 371–384, vol. 19, no. 7.

    MATH  Google Scholar 

  53. N. Komoda, T. Murata, K. Matsumo, “Petri net based controller: SCR and its application in factory automation”, IEEE Int Symp on Circuits and Systems, ISCAS85, Kyoto, June 1985.

    Google Scholar 

  54. S.S. Lam, A.U. Shankar, “Protocol Verification via Projections”, IEEE Tr on Software Engineering, Vol SE10, No 4, July 1984.

    Google Scholar 

  55. K.C. Leung, C. Michel, P. Lebeux, “Logical system design using PLAs and Petri nets programmable hardwired systems”, IFIP Congress, Toronto, 1977.

    Google Scholar 

  56. I. Lopez, “The use of GALILEO to represent and analyse telecommunications protocols”, 2nd Europ. Workshop on Applications and Theory of Petri nets, Bad Honnef, FRG, September 1981.

    Google Scholar 

  57. Z. Manna, “Logics of programs”, IFIP80, North Holland, 1980.

    Google Scholar 

  58. A. M. Marsan, G. Balbo, G. Conte, “A class of generalized stochastic Petri nets for the performance evaluation of multiprocessors systems”, ACM Tr on Computer Systems, Vol 2, N 2, May 1984.

    Google Scholar 

  59. M.A. Marsan, G. Chiola, A. Fumagalli, “An accurate model of CSMA/CD bus LAN”, 7th Eur Worshop on the Application and Theory of Petri nets, Oxford, June 1986.

    Google Scholar 

  60. P.M. Merlin, D.J. Farber, “Recoverability of Communications protocols”, IEEE Trans. on Communications, September 1976.

    Google Scholar 

  61. R. Milner, “A calculus of communicating systems”, LNCS, N 92, Springer Verlag, 1980.

    Google Scholar 

  62. M.K. Molloy, “Performance analysis using stochastic Petri nets”, IEEE Tr on Computers, Vol 31, N 9, September 1982.

    Google Scholar 

  63. T. Murata, N. Komoda, K. Matsumoto, “A Petri net based factory automation controller for flexible and maintainable control specifications”, IECON 1984.

    Google Scholar 

  64. T. Murata, N. Komoda, K. Matsumoto, K. Haruna, “A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation”, IEEE Tr on Industrial Electronics, Vol IE 33, N IE 331, February 1986.

    Google Scholar 

  65. Y. Narahari, N. Viswanadham, “Coloured Petri net models for generalized flexible manufacturing systems”, 7th Eur Workshop on Application and Theory of Petri nets, Oxford, June 1986.

    Google Scholar 

  66. S.S. Patil, “An asynchronous logic array”, MIT report, May 1975.

    Google Scholar 

  67. A. Pagnoni, “Stochastic nets and performance evaluation”, Advanced Course on Petri nets, Bad Honnef, September 1986.

    Google Scholar 

  68. C.A. Petri, “Introduction to general net theory”, LNCS 84, Proc of the Advanced Course on General Net Theory 1979, Springer Verlag, 1980, W. Brauer Editor.

    Google Scholar 

  69. A. Pnueli, “The temporal logic of programs”, IEEE Symp on Foundations of Computer Science, 1977.

    Google Scholar 

  70. J.P. Queille, J. Sifakis, “Specification and verification of concurrent systems in Cesar”, 2nd Europ Workshop on Application and Theory of Petri nets, Bad Honnef, September 1981.

    Google Scholar 

  71. C. Ramchandani, “Analysis of Asynchronous Concurrent Systems by Timed Petri Nets”, Research Report MAC-TR 120, MIT, February 1974.

    Google Scholar 

  72. C.V. Ramamoorthy, G.S. Ho, “Performance evaluation of asynchronous concurrent systems using Petri nets”, IEEE Tr on Software Eng, Vol SE6, N 5, September 1980.

    Google Scholar 

  73. R.R. Razouk, G. Estrin, “Modelling and verification of communication protocols in SARA: the X.21 interface”, IEEE Tr on Computers, Vol C-29, no.12, December 1980, pp. 1038–1051.

    Google Scholar 

  74. R.R. Razouk, “Modelling X.25 using the graph model of behavior”, Protocol Specification, Testing and Verification, Idyllwild-CA, May 1982, North-Holland, 1982, C. Sunshine Editor.

    Google Scholar 

  75. M.T. Rose, “Modelling of initial connection handling in TCP using Contour-Transition Nets”, Protocol Specification, Testing and Verification, Skytop, June 1984, North Holland, 1985, Y. Yemini et al Editors.

    Google Scholar 

  76. JL. Roux, B. Berthomieu, “Verification of a local area network with TINA, a software package for Time Petri Nets”, 7th European Workshop on Application and Theory of Petri Nets, Oxford, June 1986.

    Google Scholar 

  77. A.U. Shankar, S.S. Lam, “An HDLC protocol specification and its verification using image protocols”, ACM Trans Computer Systems, Vol 4, Nov 1983.

    Google Scholar 

  78. J. Sifakis, “A unified approach for studying the properties of transition systems”, Theoretical Computer Science, Vol 18, 1982.

    Google Scholar 

  79. J. Sifakis, “Performance Evaluation of Systems using Nets”, LNCS 84, Proc of the Advanced Course on General Net Theory, Springer Verlag, 1980, W. Brauer Editor.

    Google Scholar 

  80. F.J.W. Symons, “Representation, analysis and verification of communication protocols”, Research Report 7380, Telecom. Australia, 1980.

    Google Scholar 

  81. D.T. Thompson, C.A. Sunshine, R.W. Erickson, S.L. Gerhart, D. Schwabe, “Specification and verification of communication protocols in AFFIRM using state transition models”, Research Report ISI-RR-81-88, USC, Inf. Sc. Institute, March 1981.

    Google Scholar 

  82. R. Valette, “Nets in production systems”, Advanced Course on Petri nets, Bad Honnef, September 1986, Springer-Verlag, 1987.

    Google Scholar 

  83. R. Valette, M. Courvoisier, H. Demou, JM. Bigou, C. Desclaux, “Putting Petri nets to work for controlling flexible manufacturing systems”, IEEE 1985 Int Symp on Circuits and Systems, Kyoto, June 1985.

    Google Scholar 

  84. J. Vautherin, “Parallel system specifications with coloured Petri nets and algebraic abstract data types”, 7th Eur Workshop on Application and Theory of Petri Nets, Oxford, June 1986.

    Google Scholar 

  85. F. Vidondo, “GALILEO, experiences in the design of a Petri net based language for real time systems”, 2nd Europ. Workshop on Applications and Theory of Petri nets, Bad Honnef, FRG, September 1981.

    Google Scholar 

  86. Ch. Vissers, L. Logrippo, “The importance of the concept of service”, 5th Int. Workshop on Protocol Specification, Testing and Verification, Toulouse, June 1985, North Holland, M. Diaz Editor, 1986.

    Google Scholar 

  87. K. Voss, “Using Predicate-Transition Nets to model and analyse distributed database systems”, IEEE Tr on Software Engineering, Vol SE6, No 6, November 1980.

    Google Scholar 

  88. G.R. Wheeler, M.C. Wilbur-Ham, J. Billington, J.A. Gilmour, “Protocol analysis using Numerical Petri Nets”, LNCS 222, Advances in Petri Nets, G. Rozenberg Editor, 1986.

    Google Scholar 

  89. H. Zimmerman, “OSI reference model. The ISO model of architecture for open systems interconnection”, IEEE Trans. on Communications, vol. COM-28, April 1980.

    Google Scholar 

  90. W.M. Zuberek, “Timed Petri nets and Performance Evaluation”, 7th Ann Symp on Computer Architecture, May 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LAAS du CNRS, 7, avenue du Colonel-Roche, 31077, Toulouse, France

    Michel Diaz

Authors
  1. Michel Diaz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Schloss Birlinghoven, D-5205, Sankt Augustin 1, Germany

    Klaus Voss  & Hartmann J. Genrich  & 

  2. Department of Mathematics and Computer Science, University of Leiden, Niels-Bohr-Weg 1, NL-2300 RA, Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Diaz, M. (1987). Applying Petri Net Based Models in the Design of Systems. In: Voss, K., Genrich, H.J., Rozenberg, G. (eds) Concurrency and Nets. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-72822-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-72822-8_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-72824-2

  • Online ISBN: 978-3-642-72822-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation