Acta Informatica

, Volume 27, Issue 4, pp 343–368 | Cite as

Partial (set) 2-structures

Part II: state spaces of concurrent systems
  • A. Ehrenfeucht
  • G. Rozenberg
Article

Summary

We continue the investigation of labeled partial (set) 2-structures initiated in [5] and in particular we explore applications to the theory of net-based concurrent systems. The problem of characterizing state spaces of basic classes of Petri nets, and the problem of synthesizing state spaces of basic classes of Petri nets from their “abstract” descriptions in the form of directed edge-labeled graphs are investigated.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri nets: central models and their properties. Berlin Heidelberg New York: Springer 1987Google Scholar
  2. 2.
    Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri nets: applications and relationships to other models of concurrency. Berlin Heidelberg New York: Springer 1987Google Scholar
  3. 3.
    Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci. (to appear)Google Scholar
  4. 4.
    Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci. (to appear)Google Scholar
  5. 5.
    Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part I: Basic notions and the representation problem. Acta Inf. 27, 315–342Google Scholar
  6. 6.
    Petri, C.A.: Kommunikation mit Automaten. Schriften des Institutes für Instrumentelle Mathematik, Bonn 1962 (in German)Google Scholar
  7. 7.
    Reisig, W.: Petri nets: an introduction. Berlin Heidelberg New York: Springer 1985Google Scholar
  8. 8.
    Rozenberg, G., Thiagarajan, P.S.: Petri nets: basic notions, structure, behaviour. In: de Bakkerm J.W., de Roever, W.P., Rozenberg, G. (eds.) Current trends in concurrency, pp. 585–668. Berlin Heidelberg New York: Springer 1986Google Scholar

Copyright information

© Springer-Verlag 1990

Authors and Affiliations

  • A. Ehrenfeucht
    • 1
  • G. Rozenberg
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of Colorado at BoulderBoulderUSA
  2. 2.Department of Computer ScienceUniversity of LeidenRA LeidenThe Netherlands

Personalised recommendations