In: Bertoni, A.; et al.: Proceedings of the Third Italian Conference on Theoretical Computer Science, 1989, Mantova, Italy, pages 385-397. Singapore: World Scientific, 1989.
Abstract: The paper presents an algebraic characterization of the state space associated to an EN-system. The characterization captures the system behaviour in terms of local state transformations and allows one to express system properties in these terms. In addition, the paper shows how to derive the algebra from the system and conversely the system from the algebra. On contact-free EN-systems a preorder is defined by means of an injective morphism between the associated algebras. Contact-free EN-systems with the above preorder are shown to be a complete partial order.
Keywords: concurrent system (as) logic state transformation algebra; contact-free elementary net system.