Towards Modular Synthesis of Elementary Net Systems
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.
KeywordsTransition System Formal Definition Modular Design Discrete Event System Behavioural Specification
Unable to display preview. Download preview PDF.
- [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
- [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
- [BFP01]L. Bernardinello, C. Ferigato, L. Pomello, Composing net systems by identification of conditions, DISCO Internal Report, March 2001.Google Scholar