Skip to main content
SpringerLink
Log in

Composition of algebraic high-level nets

  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1990)

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

Included in the following conference series:

Abstract

The aim of this paper is the study, formulated in categorical terms, of semantics and composition of algebraic high-level nets, which are couples between algebraic net scheme (as in /Va85/ or /RV87/) and algebra. We show that the algebraic high-level nets can be composed in a elegant manner using colimits and especially pushouts. We define the semantics for algebraic high-level nets as a functor into the category of coloured nets and prove that it is compositional, i.e. this functor commutes with colimits, especially pushouts. Based on these results we reduce the analysis of net invariants of larger nets to computation of net invariants of components.

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. Bibliography

  1. G. Berthelot: Transformations and decompositions of nets. Advances in Petri Nets 1986, LNCS 254, pp. 359–376.

    Google Scholar 

  2. G. Berthelot, C. Johnen, L.Petrucci: PAPETRI: Poste d'Analyse des réseaux de PETRI. Rapport de Recherche LRI 527, Université de Paris-Sud, 1989.

    Google Scholar 

  3. G. Berthelot, L. Petrucci: Putting algebraic nets into practice. Internal report CEDRIC-IIE, 1989.

    Google Scholar 

  4. F. De Cindio, G. De Michelis, L. Pomello, C. Simone: Exhibited-Behaviour equivalence and Organizational abstraction in concurrent system design. 5th International Conference on Distributed Computing Systems, Denver, Colorado, IEEE, 1985, pp. 486–495.

    Google Scholar 

  5. C. Dimitrovici, U. Hummert: Semantische Konstruktionen und Kategorien algebraischer Netzschemata. Technische Report 12, TU Berlin 1989.

    Google Scholar 

  6. C. Dimitrovici, U. Hummert: Kategorielle Konstruktionen für algebraische Petrinetze. Technische Report 23, TU Berlin 1989.

    Google Scholar 

  7. C. Dimitrovici, U. Hummert, L. Petrucci: The Properties of Algebraic Net Schemes in Some Semantics. Report of the 11th international conference on petri nets, France 1990).

    Google Scholar 

  8. H. Ehrig, A. Heise, U. Hummert: Algebraic High-Level Nets with Capacities. Technische Report, TU Berlin 1989.

    Google Scholar 

  9. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1. Springer Verlag 1985.

    Google Scholar 

  10. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2. Springer Verlag 1990.

    Google Scholar 

  11. U. Hummert: High-Level-Netze. Technische Report 10, TU Berlin 1987.

    Google Scholar 

  12. U. Hummert: Algebraische Theorie von High-Level-Netzen. Doktorarbeit, TU Berlin 1989.

    Google Scholar 

  13. K. Jensen: Colored Petri Nets and the Invariant Method. TCS 14, 1981, pp. 317–336.

    Google Scholar 

  14. K. Jensen: Colored Petri Nets. Advances in Petri Nets 1986, LNCS 254, 1987, pp. 248–299.

    Google Scholar 

  15. M.I. Kargapolow, Ju.I. Merzljakow: Fundamentals of the Theory of Groups, Springer Verlag New York Heidelberg Berlin 1977.

    Google Scholar 

  16. S. MacLane: Categories for the Working Mathematician. Springer Verlag, 1971.

    Google Scholar 

  17. J. Meseguer, U. Montanari: Petri Nets Are Monoids. Stanford Research Institute, Report SRI-CSL-88-3, 1988.

    Google Scholar 

  18. G. Memmi, J. Vautherin: Analysing Petri Nets by the Invariant Method. Rapport de Recherche LRI 319, Université de Paris-Sud, 1986.

    Google Scholar 

  19. W. Reisig: Petri Nets. Springer Verlag, 1985.

    Google Scholar 

  20. W. Reisig: Petri Nets with Individual Tokens. TCS 41, 1985, pp. 185–213.

    Google Scholar 

  21. W. Reisig: Petri Nets and Algebraic Specifications. Tech. Rep. of Technische Universität München, 342/1/90.

    Google Scholar 

  22. W. Reisig, J. Vautherin: An Algebraic Approach to High Level Petri Nets. Proc. 8th Workshop on Applications and Theory of Petri nets, Zaragoza 1987, S. 51–72.

    Google Scholar 

  23. J. Vautherin: Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles. Thèse de doctorat d'ingénieur, Université de Paris-Sud, 1985.

    Google Scholar 

  24. J. Vautherin: Parallel Systems Specifications with Colored Petri Nets and Algebraic Specifications. Advances in Petri Nets 1987, LNCS 266, p. 293–308.

    Google Scholar 

  25. G. Winskel: Petri Nets, Algebras, Morphisms, and Compositionality. Inf. and Comp. 72, 1987, pp. 197–238.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Software und Theoretische Informatik, Technische Universität Berlin, Sekr. FR 6-1 Franklinstr. 28/29, 1000, Berlin 12

    Cristian Dimitrovici & Udo Hummert

Authors
  1. Cristian Dimitrovici
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Udo Hummert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

H. Ehrig K. P. Jantke F. Orejas H. Reichel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dimitrovici, C., Hummert, U. (1991). Composition of algebraic high-level nets. In: Ehrig, H., Jantke, K.P., Orejas, F., Reichel, H. (eds) Recent Trends in Data Type Specification. ADT 1990. Lecture Notes in Computer Science, vol 534. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54496-8_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-54496-8_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54496-8

  • Online ISBN: 978-3-540-38416-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation