Synthesis of net systems

  • Luca Bernardinello
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)


Transition Systems are among the most general mathematical structures used to describe the behaviour of systems, both sequential and concurrent. Ehrenfeucht and Rozenberg identified a basic notion for this structures, and called it region. They used it to define a construction yielding a Net System whose behaviour can be described by a given Transition System. In this paper, properties of the set of regions of Transition Systems are investigated and an alternative construction is defined.


theory of concurrency analysis and synthesis structure and behaviour of nets 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A.Ehrenfeucht, G.Rozenberg: Partial (Set) 2-Structures. I and II, in: Acta Informatica, Vol. 27, No. 4, pp. 315–368 (1990).Google Scholar
  2. 2.
    M.Nielsen, G.Rozenberg, P.S.Thiagarajan: Elementary Transition Systems, in: Theoretical Computer Science, vol. 96, No. 1, pp. 3–33 (1992).Google Scholar
  3. 3.
    W.Reisig: Petri Nets, EATCS Monographs, Springer-Verlag, (1985).Google Scholar
  4. 4.
    W.Reisig: Towards “handier” solutions of the synthesis problem, invited talk at the REX Concurrencydag, Leiden, 2 October 1992.Google Scholar
  5. 5.
    G.Rozenberg, P.S.Thiagarajan: Petri nets: basic notions, structure, behaviour, in: Bakker, Roever, G.Rozenberg (eds), Current trends in concurrency, pp 585–668, Springer-Verlag, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Luca Bernardinello
    • 1
  1. 1.Dipartimento di Scienze dell'InformazioneUniversità degli Studi di MilanoMilano

Personalised recommendations