On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces

Issue title: Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz

Article type: Research Article

Authors: Bernardinello, Luca | Monticelli, Elena | Pomello, Lucia

Affiliations: DISCo – Università degli studi di Milano-Bicocca, via Bicocca degli Arcimboldi 8, I-20126, Milano, Italia. E-mail: [email protected]

Abstract: We study several properties of an operation which combines two net systems by identifying local states and synchronizing events according to morphisms towards an interface. We propose this operation as a tool for modular system design, where different components are required to comply with a shared interface, or protocol of communication. We prove results on the preservation of structural properties, expressed as invariants, and of behavioural properties, in particular of deadlock-freeness.

Journal: Fundamenta Informaticae, vol. 80, no. 1-3, pp. 31-47, 2007