Abstract
Most of the equivalence notions for concurrent systems proposed in recent years are defined in terms of sequences (posets) of observable actions, and therefore they are not suitable for comparing two systems whose actions are defined at different levels of detail. In this paper a new equivalence notion for concurrent systems (more precisely for contact-free S-labelled EN systems) is introduced: namely Exhibited Functionality- (EF-) equivalence. EF-equivalence is defined in terms of observable global states transformations. Its main characteristics is that it takes into account the structure of the global states of the system in terms of the local states of its components, so that it characterizes the locality of any state trasformation performed by the system components. Each EF-equivalence class of contact-free S-observable EN systems, a subclass of S-labelled EN systems, is shown to contain one and only one simple and pure contact-free EN system.
Preview
Unable to display preview. Download preview PDF.
5. References
G. Berthelot, Transformations and Decompositions of Nets, in [Bra87], pp. 359–376, 1987
W. Brauer, W. Reisig, G. Rozenberg (eds.), Petri Nets: Central Models and Their Properties, LNCS 254, 1987.
L. Castellano, G. De Michelis, L. Pomello, Concurrency vs Interleaving: an instructive example, EATCS Bull., N. 31, pp. 12–15, 1987.
F. De Cindio, G. De Michelis, L. Pomello, C. Simone, Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design, Proc. 5th International Conference on Distributed Computing, IEEE, Los Angeles, 1985.
L. Lamport, On Interprocess Communication, Part 1: Basic Formalism, Distributed Computing, Vol. 1, pp. 77–85, 1986.
R. Milner, A Calculus for Communicating Systems, LNCS 92, 1980.
L. Pomello, Some Equivalence Notions for Concurrent Systems: An Overview, in "Advances in Petri Nets 1985" (G. Rozenberg ed.), LNCS 222, pp. 381–400, 1986.
V. Pratt, Modelling Concurrency with partial orders, International Journal of Parallel Programming, Vol. 15, N. 1, pp. 33–71, 1986
G. Rozenberg, P.S. Thiagarajan, Petri nets: basic notions, structure, behaviour, in "Current trends in Concurrency" (ed) J.W. de Bakker, W.P. de Roever and G. Rozenberg, LNCS 224, pp. 585–668, 1986
P.S. Thiagarajan, Elementary Net Systems, in [Bra87], pp. 26–59, 1987.
K. Voss, Interface as a Basic Concept for Systems Specification and Verification, in "Concurrency and Nets" (eds) K. Voss, H.J. Genrich, G. Rozenberg, Springer Verlag, Berlin, pp.585–604, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Cindio, F., De Michelis, G., Pomello, L., Simone, C. (1988). A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence. In: Vogt, F.H. (eds) CONCURRENCY 88. CONCURRENCY 1988. Lecture Notes in Computer Science, vol 335. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50403-6_42
Download citation
DOI: https://doi.org/10.1007/3-540-50403-6_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50403-0
Online ISBN: 978-3-540-45999-6
eBook Packages: Springer Book Archive