Advertisement

Computer tools for construction, modification and analysis of Petri nets

  • Kurt Jensen
Section 6 Net Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 255)

Abstract

The practical use of Petri nets is — just as any other description technique — very dependent on the existence of adequate computer tools, which may assist the user to cope with the many details of a large description. For Petri nets there is a need for tools supporting construction of nets, as well as modification and analysis. Graphical work stations provide the opportunity to work — not only with textual representations of Petri nets — but also directly with the graphical representations.

This paper describes some of the different kinds of tools which are needed in the Petri net area. It describes some of the requirements which these tools must fulfil, in order to support the user in a natural and effective way. Finally some references are given to papers which describe examples of existing Petri net tools.

Keywords

Petri net tools computer based tools 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    P. Alanche et. al.: PSI. A Petri net based simulator for flexible manufacturing systems. Proceedings of the 5th European Workshop on Applications and Theory of Petri Nets, Aarhus 84, 72–84.Google Scholar
  2. [2]
    M. Beaudouin-Lafon: Petripote. A graphic system for Petri net design and simulation. Proceedings of the 4th European Workshop on Applications and Theory of Petri Nets, Toulouse 83, 20–30.Google Scholar
  3. [3]
    P. Behm: Rafael. A tool for analyzing parallel systems in the L environment. Proceedings of the 6th European Workshop on Applications and Theory of Petri Nets, Espoo 85, 227–253.Google Scholar
  4. [4]
    G. Berthelot: Checking properties of nets using transformations. G. Rozenberg (ed.): Advances in Petri Nets 1985. Lecture Notes of Computer Science 222, Springer-Verlag 86, 19–40.Google Scholar
  5. [5]
    C. Choppy and C. Johnen: PetriReve. Petri net transformations and proofs with rewriting systems. Proceedings of the 6th European Workshop on Applications and Theory of Petri nets, Espoo 85, 255–273.Google Scholar
  6. [6]
    J.M. Colom, J. Martinez, and M. Silva: Packages for validating discrete production systems modelled with Petri nets. Proceedings of the IMACS-IFAC Symposium, June 1986.Google Scholar
  7. [7]
    Design−. Users Guide. Meta Software Corporation, Massachusetts 86.Google Scholar
  8. [8]
    P. Ehn and M. Kyng: A tool perspective on design of interactive computer support for skilled workers. Proceedings of the 7th Scandinavian Research Seminar on Systemeering, Helsinki 84.Google Scholar
  9. [9]
    F. Feldbrugge: Petri net tools. G. Rozenberg (ed.): Advances in Petri Nets 1985. Lecture Notes of Computer Science 222, Springer-Verlag 86, 203–223.Google Scholar
  10. [10]
    F. Feldbrugge and K. Jensen: Petri net tool overview — 1986. Contained in this volume.Google Scholar
  11. [11]
    H.J. Genrich and R.M. Shapiro: A diagram editor for line drawings with inscriptions. A Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri nets, Informatik-Fachberichte 66, Springer-Verlag 83, 112–131.Google Scholar
  12. [12]
    H.J. Genrich: Net theory and application. H.-J. Kugler (ed.): Proceedings of the IFIP Congress, Dublin 86, North-Holland 86.Google Scholar
  13. [13]
    P. Huber, A.M. Jensen, L.O. Jepsen, and K. Jensen: Towards reachability trees for high-level Petri nets. G. Rozenberg (ed.): Advances in Petri Nets 1984. Lecture Notes of Computer Science 188, Springer-Verlag 85, 215–233.Google Scholar
  14. [14]
    K. Jensen: The design of a program package for an introductory Petri net course. G. Rozenberg (ed.): Advances in Petri Nets 1984. Lecture Notes of Computer Science 188, Springer-Verlag 85, 259–266.Google Scholar
  15. [15]
    K. Jensen: Coloured Petri nets. Contained in this volume.Google Scholar
  16. [16]
    R. Kujansuu and M. Lindquist: Efficient algorithms for computing Sinvariants for predicate/transition nets. Proceedings of the 5th European Workshop on Applications and Theory of Petri Nets, Aarhus 84, 156–173.Google Scholar
  17. [17]
    R. Kujansuu, M. Lindquist, L. Ojala and M. Tiusanen: Petri net based analysis environment supporting software production. Proceedings of the 1985 International Symposium on Circuits and Systems, Kyoto 85, IEEE, 727–730.Google Scholar
  18. [18]
    M.A. Marsan and G. Chiola: On Petri nets with deterministic and exponential transition firing times. Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets, Oxford 86, 151–165.Google Scholar
  19. [19]
    B. Montel et. al.: Ovide. A software package for the validation of systems represented by Petri net based models. Proceedings of the 4th European Workshop on Applications and Theory of Petri Nets, Toulouse 83, 292–308.Google Scholar
  20. [20]
    J-L. Roux and B. Berthomieu: Verification of a local area network protocol with Tina — A software package for timed Petri nets. Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets, Oxford 86, 183–205.Google Scholar
  21. [21]
    S.M. Shatz and W. Cheng: Static analysis of Ada programs using the Petri net model. Proceedings of the 1985 International Symposium on Circuits and Systems, Kyoto 85, IEEE, 719–722.Google Scholar
  22. [22]
    M. Silva, J. Martinez, P. Ladet, and H. Alla: Generalized inverses and the calculation of symbolic invariants for coloured Petri nets. Technique et Science Informatiques, vol 4, no. 1 (1985) 113–126.Google Scholar
  23. [23]
    J. Vautherin and G. Memmi: Computation of flows for unary predicate/transition nets. G. Rozenberg (ed): Advances in Petri Nets 1984. Lecture Notes of Computer Science 188, Springer-Verlag 85, 455–467.Google Scholar
  24. [24]
    G.R. Wheeler, M.C. Wilbur-Ham, J. Billington, and J.A. Gilmour: Protocol analysis using numerical Petri nets. G. Rozenberg (ed.): Advances in Petri Nets 1985. Lecture Notes of Computer Science 222, Springer-Verlag 86, 435–451.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Kurt Jensen
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityDenmark

Personalised recommendations