Skip to main content
SpringerLink
Log in

Petri net tools

  • Conference paper
  • First Online:
Advances in Petri Nets 1985 (APN 1985)

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

Included in the following conference series:

Abstract

This paper reflects on the application of nets in system description, analysis and design and the role of tools herein.

General tool requirements are given with respect to structure, user interface and functionality. Moreover general applicability of tools and inter-tool communication are highlighted.

In an appendix an overview of currently available net-based tools is given.

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.

5. References

  1. Brauer, W. (ed.): "Net Theory and Applications." Proc. Advanced Course on General Net Theory of Processes and Systems Hamburg, 1979. Lecture Notes in Computer Science; vol. 84. Springer Verlag; Berlin, Heidelberg, New York, Tokyo; 1980. ISBN 3-540-10001-6.

    Google Scholar 

  2. Engel, S.E.; Granda, R.E.: "Guidelines for man/display interfaces." IBM Poughkeepsie Laboratory Technical Report TR00.2720; 1975.

    Google Scholar 

  3. Genrich, H.J.; Lautenbach, K.; Thiagarajan, P.S.: "Elements of General Net Theory." In: [BRAUER 80].

    Google Scholar 

  4. Genrich, H.J.; Stankiewicz-Wiechno, E.: "A dictionary of some basic notions of Net Theory." In: [BRAUER 80].

    Google Scholar 

  5. Genrich, H.J.; Shapiro, R.M.: "A diagram editor for line drawings with inscriptions." In: [PAGNONI/ROZENBERG 83].

    Google Scholar 

  6. Holliday, M.A.; Vernon, M.K.: "A Generalized Timed Petri Net model for performance analysis." In: [TPN 85].

    Google Scholar 

  7. Jensen, K.: "The design of a program package for an introductory Petri Net course." In: [ROZENBERG 85].

    Google Scholar 

  8. Ledgard, H.; Singer, A.; Whiteside, J.: "Directions in Human Factors for Interactive Systems." Springer Verlag; Berlin, Heidelberg, New York, Tokyo; 1981. ISBN 3-540-10574-3.

    Google Scholar 

  9. Natkin, S.: "Les Réseaux de Petri Stochastiques et leur application a l'évaluation des systems informatiques." Thesis; June 1980; CNAM.

    Google Scholar 

  10. Pagnoni, A.; Rozenberg, G. (ed.): "Applications and Theory of Petri Nets." Proc. 3rd European Workshop on Applications and Theory of Petri Nets; Varenna, Italy; sept. 1982. Informatik Fachberichte; vol 66. Springer Verlag; Berlin, Heidelberg, New York, Tokyo; 1983. ISBN 3-540-12309-1.

    Google Scholar 

  11. Ramchandani, C.: "Analysis of asynchronous concurrent systems by Timed Petri Nets." PhD thesis; MIT, Dept. of Electrical Engineering. Also available as MIT Project MAC document MAC-TR-120. Cambridge, Mass. USA; 1974.

    Google Scholar 

  12. Reisig, W.: "Petri Nets." EATCS monographs on theoretical computer science; vol. 4. Springer Verlag; 1985.

    Google Scholar 

  13. Rozenberg, G. (ed.): "Advances in Petri Nets 1984." Lecture Notes in Computer Science; vol. 188. Springer Verlag; Berlin, Heidelberg, New York, Tokyo; 1985. ISBN 3-540-15204-0.

    Google Scholar 

  14. Proc. International Workshop on Timed Petri Nets. Torino, Italy; July, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Data Systems, P.O. Box 245, 7300 AE, Apeldoorn, Netherlands

    Frits Feldbrugge

Authors
  1. Frits Feldbrugge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Feldbrugge, F. (1986). Petri net tools. In: Rozenberg, G. (eds) Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science, vol 222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016213

Download citation

  • DOI: https://doi.org/10.1007/BFb0016213

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16480-7

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation