On a homomorphism of a component Petri net

DOI10.1007/S10559-014-9590-ZzbMATH Open1298.68194OpenAlexW1995756034MaRDI QIDQ466005FDOQ466005

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

equivalence classhomomorphismPetri netcomponent 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

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

Cited In (1)

• On the fluidization of Petri nets and marking homothecy

This page was built for publication: On a homomorphism of a component Petri net

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466005)