Abstract
In this paper the domain of EN Systems is characterized as a Partial Order, by means of an injective morphism notion.
The partial order that is introduced has a behavioural interpretation in the sense that ‘larger’ Systems have ‘larger’ behavioural possibilities.
Then some unary operations are defined allowing to add Places and/or Transitions to an existing EN System. On the defined Partial Order the operation of adding a Transition is interpreted as enlarging the behaviour of the System (Extension), while the operation of adding a Place is interpreted as restricting it (Constraint).
Some properties of the two operation types are investigated.
The newly proposed order and operations are fully consistent with the semantics of EN Systems in terms of Elementary Transition Systems as defined in [NRT90].
The author wants to thank his colleagues Lucia Pomello and Carla Simone, as well as Luca Bernardinello and Aldo Restelli for the stimulating discussions and for their careful reading of the manuscript. Some anonimous referees detected a serious error in the first version of this paper and proposed twice useful suggestions and remarks. Their help had a great impact on this final version.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References LNCS stands for Lecture Notes in Computer Sciences, Springer Verlag, Berlin.
L. Bernardinello, G. De Michelis, C. Diamantini, L. Pomello, A. Restelli, C. Simone, Relationships between Categories of “Elementary” Concurrent Systems. DSI Tech. Report, 1991
E. Best, F. De Cindio, R. P. Hopkins, DEMON — Design Methods Based on Nets, An ESPRIT Basic Research Action (no. 3148). Bullettin of the EATCS, nr. 41, 1991
W. Brauer, W. Reisig, G. Rozenberg (eds.), Petri Nets: Central Models and Their Properties. LNCS 254, 1987.
F. De Cindio, G. De Michelis, L. Pomello, C. Simone, A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality Equivalence, in F. H. Vogt (ed.), CONCURRENCY 88, LNCS 335, 1988.
G. De Michelis, Morphisms and Refinements for EN-Systems. DSI Tech. Report, 1992
A. Ehrenfeucht, G. Rozenberg, Partial (Set) 2-Structures — Part 1: Basic Notion and the Representation Problem. Acta Informatica vol. 26, 1990.
A. Ehrenfeucht, G. Rozenberg, Partial (Set) 2-Structures — Part 2: State Spaces of Concurrent Systems. Acta Informatica vol. 26, 1990.
S. J. Meseguer, U. Montanari, Petri Nets are Monoids. SRI-CSL-88-3, january 1988.
R. Milner, A Calculus for Communicating Systems, LNCS 92, 1980
M. Nielsen, G. Rozenberg, P. S. Thiagarajan, Elementary Transition Systems. Tech. Report, Dept. of Computer Science, University of Leiden, 1990.
L. Pomello, C. Simone, A Survey of Equivalence Notions for Net based Systems. LNCS 609, 1992
L. Pomello, C. Simone, A State Transformation Preorder over a class of EN-Systems, in APN'90, LNCS 483, 1991.
L. Pomello, C. Simone, Concurrent Systems as Local State Transformation Algebras: the Case of Elementary Net Systems, Formal Aspects of Computing, 1992 (to appear).
G. Rozenberg. Behaviour of Elementary Net Systems, in [BRG87].
G. Rozenberg, P.S. Thiagarajan, Petri Nets: basic notions, structure, behaviour, in J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.), Current Trends in Concurrency, LNCS 224, 1986.
P.S. Thiagarajan, Elementary Net Systems, in [BRG87].
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Michelis, G. (1993). Constraints and extensions in a Calculus of EN systems. In: Rozenberg, G. (eds) Advances in Petri Nets 1993. ICATPN 1991. Lecture Notes in Computer Science, vol 674. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56689-9_51
Download citation
DOI: https://doi.org/10.1007/3-540-56689-9_51
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56689-2
Online ISBN: 978-3-540-47631-3
eBook Packages: Springer Book Archive