On preserving structural and behavioural properties by composing net systems on interfaces
Luca Bernardinello, Lucia Pomello, E Monticelli · BOA (University of Milano-Bicocca) · 2007
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.