Skip to main content
SpringerLink
Log in

General composition for high level Petri nets and its properties

  • Research Article
  • Published:
Central European Journal of Computer Science

Abstract

Composition of High Level Petri Nets in terms of joining relevant places and/or transitions is considered in the paper. In case of place composition type safe and combined types composition is contemplated. The process of composition is proposed and analysed in three separate cases with respect to the general approaches with minimal composition interface in each case but an analogous extension of the interface follows immediately from the approach introduced. Properties of the composition mechanism are analysed, namely preserving of boundedness, liveness and deadlock freedom. Conditions for preserving of the desired properties are introduced. Usability of the compositional mechanism is analysed in the process of de/compositional analysis.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Battiston E., DeCindio F., Mauri G., OBJSA nets: a class of high-level nets having objects as domains, Lecture Notes In Computer Science, Advances in Petri Nets, 20–43, 1988

  2. Best E., Devillers R., Hall J., The petri box calculus: A new causal algebra with multilabel communication, In: Advances in Petri Nets, Lecture Notes in Computer Science, 609, 21–69, 1992

  3. Best E., Devillers R., Koutny M., Petri net algebra, XI, Hardcover, 378, 2001

  4. Best E., Lavrov A., Generalized Composition Operations on High-Level Petri Nets, Fund. inform., 34, 1–39, 2000, Available: http://parsys.informatik.uni-oldenburg.de/best/publications/best-lavrov-composop.ps

    Google Scholar 

  5. Esparza J., Silva M., Compositional Synthesis of Live and Bounded Free Choice Nets, Universidad de Zaragoza (Spain), Dpto. Ingeniera Electrica e Informatica, Grupo Ing. de Sistemas Informatica, Technical Report Mar, 1990

  6. Genrich H.J., Predicate/transition nets, Advances in Petri Nets, Petri nets: Central Models and Their Properties, 207–247, 1987

    Google Scholar 

  7. Gianfranco B., Introduction to stochastic Petri nets, Springer Lectures On Formal Methods And Performance Analysis, Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science, 84–155, 2002

  8. Hudák Š., Reachability analysis of systems based on Petri nets, Technical University in Košice, Košice, Slovakia, 1999

    Google Scholar 

  9. ISO/IEC 15909-1:2004, High-level Petri Nets — Concepts, Definitions and Graphical Notation, Available: http://www.iso.org/iso/catalogue_detail.htm?csnumber=38225

  10. Jensen K., Coloured Petri Nets: A high-level Language for System Design and Analysis, LNCS, Springer Verlag, 1990

  11. Klaudel H., Pommereau F., M-nets: a survey, Acta Inform., 45, 537–564, 2008

    Article  MathSciNet  MATH  Google Scholar 

  12. Petri C.A., Kommunikation mit Automaten, Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2, 1962, Second Edition:, New York: Griffiss Air Force Base, Technical Report RADC-TR-65-377, 1, English translation, 1966

    Google Scholar 

  13. Peťko I., Decomposition of High Level Petri Nets and its properties, In: Proceedings of Poster 2012, Prague, 2012

  14. Rojas I., Compositional construction and analysis of Petri net systems, PhD thesis, University of Edinburgh, Edinburgh, 1997. Available: http://www.era.lib.ed.ac.uk/handle/1842/421

    Google Scholar 

  15. Vautherin J., Parallel systems specifications with Coloured Petri nets and algebraic specifications, European Workshop on Applications and Theory of Petri Nets, 293–308, 1986

Download references

Author information

Authors and Affiliations

  1. Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 04200, Košice, Slovakia

    Ivan Peťko & Štefan Hudák

Authors
  1. Ivan Peťko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Štefan Hudák
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ivan Peťko.

About this article

Cite this article

Peťko, I., Hudák, Š. General composition for high level Petri nets and its properties. centr.eur.j.comp.sci. 2, 222–235 (2012). https://doi.org/10.2478/s13537-012-0017-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.2478/s13537-012-0017-5

Keywords

Search

Navigation