Advertisement

A concept of hierarchical Petri nets with building blocks

  • Rainer Fehling
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 674)

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.

Keywords

Computer tools for nets system design using nets 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. BrBu90.
    Brodda, A. / Buttler, P.: PetriLab, ein Tool zur Modellierung und Simulation petrinetzbasierter Systembeschreibungen. Diplomarbeit am FB Informatik, Universität Dortmund, 1990Google Scholar
  2. BrRR87.
    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, 1987Google Scholar
  3. Ditt89.
    Dittrich, G.: Specification with Nets. In: Pichler, F. (ed.): Advances in Computer Aided Systems Theory — EUROCAST'89, Springer, LNCS 410,1990Google Scholar
  4. Fehl91.
    Fehling, R.: Hierarchical Petri Nets: Contributions to Theory and Formal Basis of Appropriate Tools. In German. Verlag Dr. Kovac, Hamburg, 1992Google Scholar
  5. GeLT79.
    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, 1980Google Scholar
  6. HuJS89.
    Huber, P. / Jensen, K. / Shapiro, R.M.: Hierarchies in Coloured Petri Nets. In: Procs. of 10th ICPN, Bonn, 1989Google Scholar
  7. LeWa87.
    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, 1987Google Scholar
  8. LeWo89.
    Leufke, A. / Wolberg, D.: Bausteine für Petrinetze — Konzepte und Einsatz. Diplomarbeit am FB Informatik, Universität Dortmund, 1989Google Scholar
  9. Reis85.
    Reisig, W.: Systementwurf mit Netzen. Springer, 1985Google Scholar
  10. Reis86.
    Reisig, W.: Petri Nets in Software Engineering. In: [BrRR87]Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  1. 1.LS Informatik 1Universität DortmundDortmund 50

Personalised recommendations