Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism

DOI10.1007/s10559-012-9461-4zbMath1307.68054OpenAlexW2067307328MaRDI QIDQ2263225

A. V. Derezaa, E. A. Luk'yanova

Publication date: 18 March 2015

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

Full work available at URL: https://doi.org/10.1007/s10559-012-9461-4

zbMATH Keywords

incidence matrixinvariantmodel verificationcomponent Petri netcomposite componentTSS-algorithm

Mathematics Subject Classification ID

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

Related Items

Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens, On a homomorphism of a component Petri net, Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism

Cites Work

• A calculus of communicating systems
• Methods of solution and criteria of consistency of systems of linear Diophantine equations over the set of natural numbers
• Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
• Algorithms for solving systems of linear Diophantine equations in integer domains
• Compositional analysis of Petri nets
• Decomposition of Petri nets
• Computing Stuttering Simulations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item