Skip to main content
SpringerLink
Log in
Book cover

Advances in Petri Nets 1984 pp 259–266Cite as

The design of a program package for an introductory petri net course

  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Beaudouin-Lafon, Petripote: A graphic system for Petri net design and simulation, 4th European Workshop on Applications and Theory of Petri nets, Toulouse 1983.

    Google Scholar 

  2. H.J. Genrich and R.M. Shapiro, A diagram editor for line drawings with inscriptions, in: Applications and Theory of Petri nets, A. Pagnoni and G. Rozenberg (eds.), Informatik-Frachberichte, vol. 66, Springer Berlin 1982, 112–131.

    Google Scholar 

  3. P. Huber, A.M. Jensen, L.O. Jepsen and K. Jensen, Towards reachability trees for high-level Petri nets, Computer Science Department, Aarhus University, 5th European Workshop on Applications and Theory of Petri nets, Aarhus 1984 (also in this volume).

    Google Scholar 

  4. K. Jensen, How to find invariants for coloured Petri nets, in: Mathematical Foundations of Computer Science 1981, J. Gruska and M. Chytil (eds.), Lecture Notes in Computer Science, vol. 118, Springer Berlin 1981, 327–338.

    Google Scholar 

  5. K. Jensen, High-level Petri nets, in: Applications and Theory of Petri nets, A. Pagnoni and G. Rozenberg (eds.), Informatik-Fachberichte, vol. 66. Springer Berlin 1983, 166–180.

    Google Scholar 

  6. K. Jensen, P. Huber, N.N. Larsen and I. Martinsen, Petri net package. User's manual, DAIMI MD-46, Computer Science Department, Aarhus University, version 3.1 1984.

    Google Scholar 

  7. B. Montel et al., Ovide: A software package for the validation of systems represented by Petri net based models, 4th European Workshop on Applications and Theory of Petri nets, Toulouse 1983.

    Google Scholar 

  8. J.L. Peterson, Petri net theory and the modelling of systems, Prentice-Hall, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Aarhus University Ny Munkegade, DK-8000, Aarhus C, Denmark

    Kurt Jensen

Authors
  1. Kurt Jensen
    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

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jensen, K. (1985). The design of a program package for an introductory petri net course. In: Rozenberg, G. (eds) Advances in Petri Nets 1984. Lecture Notes in Computer Science, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15204-0_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-15204-0_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15204-0

  • Online ISBN: 978-3-540-39320-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation