Property-preserving transformations of elementary net systems based on morphisms

DOI10.1007/978-3-662-65303-6_1OpenAlexW3049635081MaRDI QIDQ2163769

Roman Nesterov, Luca Bernardinello, Lucia Pomello, Irina A. Lomazova

Publication date: 11 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-662-65303-6_1

zbMATH Keywords

transformationsPetri netsrefinementabstractionmorphisms

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets and bisimulation
• A theory of bipolar synchronization scheme
• A method for stepwise refinement and abstraction of Petri nets
• Petri nets, algebras, morphisms, and compositionality
• Analysis of Petri nets by stepwise refinements
• Resource equivalences in Petri nets
• Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms
• Vicinity Respecting Homomorphisms for Abstracting System Requirements
• Rule-Based Refinement of Petri Nets: A Survey

This page was built for publication: Property-preserving transformations of elementary net systems based on morphisms