Petr nets, algebras, morphisms, and compositionality
Information and Computation
Information and Computation
Selected papers of the Second Workshop on Concurrency and compositionality
Finite completeness of categories of petri nets
Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Petri net algebra
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Semantics, composition and net properties of algebraic high-level nets
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular system development with pullbacks
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
On the construction of pullbacks for safe petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Hi-index | 0.00 |
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.