On a homomorphism of a component Petri net

DOI10.1007/s10559-014-9590-zzbMath1298.68194OpenAlexW1995756034MaRDI QIDQ466005

E. A. Luk'yanova

Publication date: 24 October 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-014-9590-z

zbMATH Keywords

homomorphismPetri netequivalence classcomponent Petri netcomponent relationcomponent relation domain

Mathematics Subject Classification ID

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

Cites Work

• Process versus unfolding semantics for Place/Transition Petri nets
• Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
• Unfoldings: A partial-order approach to model checking.
• Formal methods of analysis of system properties
• Compositional analysis of Petri nets
• Decomposition of Petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item