Towards Modular Synthesis of Elementary Net Systems

  • Luca Bernardinello
  • Carlo Ferigato
  • Lucia Pomello


A way to compose transition systems is defined, and a possible application to modular design of concurrent systems is described. Transition systems are composed by identifying regions and by superimposing events at the border of those regions. The formal operation on Elementary Transition Systems has a counterpart on Elementary Net Systems. This allows to mix techniques for synthesizing net systems from transition systems with the composition of models and specifications in a coherent way.


Transition System Formal Definition Modular Design Discrete Event System Behavioural Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BD98]
    E. Badouel, Ph. Darondeau, Theory of Regions, in W. Reisig, G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, Springer-Verlag Lecture Notes in Computer Science vol. 1491, pp. 529–586, 1998.Google Scholar
  2. [BFP99]
    L. Bemardinello, C. Ferigato, L. Pomello, An Algebraic Model of Observable Properties in Distributed Systems, Joint Research Center of the European Commission, Ispra, TR I. 99. 71, 1999.Google Scholar
  3. [BFP01]
    L. Bernardinello, C. Ferigato, L. Pomello, Composing net systems by identification of conditions, DISCO Internal Report, March 2001.Google Scholar
  4. [ER90]
    A. Ehrenfeucht, G. Rozenberg, Partial (set) 2-Structures I & II, Acta Informatica, 27, 4, pp. 315–368, 1990.MathSciNetzbMATHCrossRefGoogle Scholar
  5. [NRT92a]
    M. Nielsen, G. Rozenberg, P.S. Thiagarajan, Elementary Transition Systems, Theoretical Computer Science 96, 1, pp. 3–33, 1992.MathSciNetzbMATHCrossRefGoogle Scholar
  6. [NRT92b]
    M. Nielsen, G. Rozenberg, P.S. Thiagarajan, Elementary transition systems and refinement, Acta Informatica 29, pp. 555–578, 1992.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

  • Luca Bernardinello
    • 1
  • Carlo Ferigato
    • 2
  • Lucia Pomello
    • 1
  1. 1.Dipartimento di Informatica, Sistemistica e Comunicazione Università degli studi di Milano BicoccaMilanoItaly
  2. 2.Emisfera R&D — Emide — Parco Tecnologico del Lago MaggioreVerbaniaItaly

Personalised recommendations