Skip to main content
SpringerLink
Log in

A concept of hierarchical Petri nets with building blocks

  • Conference paper
  • First Online:
Advances in Petri Nets 1993 (ICATPN 1991)

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

Included in the following conference series:

Abstract

This paper introduces a formal concept of hierarchical Petri nets with building blocks. The hierarchy concept allows to handle the refinement of places and transitions even if they are adjacent. The building blocks are introduced as slightly restricted hierarchical Petri nets with hierarchically structured interfaces. The main purpose of the concept is to facilitate the modeling of large real-world systems, rather than using them for theoretical considerations. This will form the foundation of an editor-simulator-tool with a direct manipulation interface for this type of nets.

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.

Similar content being viewed by others

References

  1. Brodda, A. / Buttler, P.: PetriLab, ein Tool zur Modellierung und Simulation petrinetzbasierter Systembeschreibungen. Diplomarbeit am FB Informatik, Universität Dortmund, 1990

    Google Scholar 

  2. Brauer, W. / Reisig, W. / Rozenberg, G. (eds.): Petri Nets: Part I: Central Models and Their Properties.Part II: Applications and Relationships to Other Models of Concurrency. Advances in Petri Nets 1986. LNCS Vol. 254/255, Springer, 1987

    Google Scholar 

  3. Dittrich, G.: Specification with Nets. In: Pichler, F. (ed.): Advances in Computer Aided Systems Theory — EUROCAST'89, Springer, LNCS 410,1990

    Google Scholar 

  4. Fehling, R.: Hierarchical Petri Nets: Contributions to Theory and Formal Basis of Appropriate Tools. In German. Verlag Dr. Kovac, Hamburg, 1992

    Google Scholar 

  5. Genrich, H.J. / Lautenbach, K. / Thiagarajan, P.S.: Elements of General Net Theory. In: Brauer, W. (ed.): Net Theorie and Applications. Procs. of the Advanced Course of General Net Theory of Processes and Systems. Hamburg 1979, LNCS Vol. 84, Springer, 1980

    Google Scholar 

  6. Huber, P. / Jensen, K. / Shapiro, R.M.: Hierarchies in Coloured Petri Nets. In: Procs. of 10th ICPN, Bonn, 1989

    Google Scholar 

  7. Lengauer, T. / Wagner, K.W.: The correlation between the complexities of the nonhierarchical and hierarchical version of graph problems. In: Brandenburg, F.J. / Vidal-Naquet, G. / Wirsing, M. (eds.): Procs. of STAGS '87, LNCS 247, Springer, 1987

    Google Scholar 

  8. Leufke, A. / Wolberg, D.: Bausteine für Petrinetze — Konzepte und Einsatz. Diplomarbeit am FB Informatik, Universität Dortmund, 1989

    Google Scholar 

  9. Reisig, W.: Systementwurf mit Netzen. Springer, 1985

    Google Scholar 

  10. Reisig, W.: Petri Nets in Software Engineering. In: [BrRR87]

    Google Scholar 

Download references

Author information

Author notes

  1. Rainer Fehling

    Present address: STZ GmbH, Helenenbergweg 19, W-4600, Dortmund 50

Authors and Affiliations

  1. LS Informatik 1, Universität Dortmund, Postfach 500 500, W-4600, Dortmund 50

    Rainer Fehling

Authors
  1. Rainer Fehling
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rainer Fehling .

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fehling, R. (1993). A concept of hierarchical Petri nets with building blocks. In: Rozenberg, G. (eds) Advances in Petri Nets 1993. ICATPN 1991. Lecture Notes in Computer Science, vol 674. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56689-9_43

Download citation

  • DOI: https://doi.org/10.1007/3-540-56689-9_43

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56689-2

  • Online ISBN: 978-3-540-47631-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation