Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms

DOI10.1007/978-3-642-40465-8_3zbMath1394.68242OpenAlexW2220014911MaRDI QIDQ2849441

Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello

Publication date: 17 September 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VIII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40465-8_3

zbMATH Keywords

Petri netscompositionmorphismslocal state refinement

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Modeling Distributed Private Key Generation by Composing Petri Nets ⋮ Property-preserving transformations of elementary net systems based on morphisms

This page was built for publication: Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms