Skip to main content
SpringerLink
Log in

Computer tools for construction, modification and analysis of Petri nets

  • Section 6 Net Tools
  • Conference paper
  • First Online:
Petri Nets: Applications and Relationships to Other Models of Concurrency (ACPN 1986)

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

Included in the following conference series:

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.

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. 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. 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. 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. 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. 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. 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. Design−. Users Guide. Meta Software Corporation, Massachusetts 86.

    Google Scholar 

  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. 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. F. Feldbrugge and K. Jensen: Petri net tool overview — 1986. Contained in this volume.

    Google Scholar 

  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. H.J. Genrich: Net theory and application. H.-J. Kugler (ed.): Proceedings of the IFIP Congress, Dublin 86, North-Holland 86.

    Google Scholar 

  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. 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. K. Jensen: Coloured Petri nets. Contained in this volume.

    Google Scholar 

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

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Aarhus University, Denmark

    Kurt Jensen

Authors
  1. Kurt Jensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

W. Brauer W. Reisig G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jensen, K. (1987). Computer tools for construction, modification and analysis of Petri nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds) Petri Nets: Applications and Relationships to Other Models of Concurrency. ACPN 1986. Lecture Notes in Computer Science, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17906-2_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-17906-2_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17906-1

  • Online ISBN: 978-3-540-47926-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation