On a homomorphism of a component Petri net

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

Authors: 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

Recommendations

• On the relationship between the language of the CN-model with component junctions and the language of the detailed Petri model of parallel distributed systems
• Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
• scientific article; zbMATH DE number 3982529
• scientific article; zbMATH DE number 3922334
• scientific article; zbMATH DE number 3988722

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?)
• 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
• Title not available (Why is that?)
• Process versus unfolding semantics for Place/Transition Petri nets

Cited In (3)

• Vicinity respecting homomorphisms for abstracting system requirements
• Title not available (Why is that?)
• 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)