Compositional analysis of Petri nets

DOI10.1007/S10559-006-0044-0MaRDI QIDQ2501338zbMATH OpenOpenAlexFDO

Authors Dmitry A. Zaitsev

Publication date 6 September 2006

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

Full work available at URL https://doi.org/10.1007/s10559-006-0044-0

zbMATH Keywords

compositionfunctional subnetPetri net

Mathematics Subject Classification ID

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

Recommendations

• Structural analysis of Petri nets
• Modular Analysis of Petri Nets
• A tabular method for the analysis of large petri nets
• Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
• General composition for high level Petri nets and its properties

Cites work

• Decomposition of Petri nets
• Formal methods of analysis of system properties
• scientific article; zbMATH DE number 51650 (Why is no real title available?)
• Methods of solution and criteria of consistency of systems of linear Diophantine equations over the set of natural numbers
• State equations and equivalent transformations for timed Petri nets

Cited in

(24)

• Dynamical quantities in net systems
• Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
• The ins and outs of Petri net composition
• Universal Petri net
• Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
• Sequential composition of linear systems' clans
• Decomposition of Petri nets
• Union decomposition of Petri net
• On acceleration of calculations of estimation of structural invariants for CN_I-network component analysis
• Analysis of structural properties of Petri nets based on product incidence matrix
• scientific article; zbMATH DE number 1799524 (Why is no real title available?)
• scientific article; zbMATH DE number 5140768 (Why is no real title available?)
• PeCAn: compositional verification of Petri nets made easy
• A tabular method for the analysis of large petri nets
• scientific article; zbMATH DE number 4074502 (Why is no real title available?)
• scientific article; zbMATH DE number 1361124 (Why is no real title available?)
• scientific article; zbMATH DE number 519847 (Why is no real title available?)
• Analysis of petri nets by partitioning: splitting places or transitions
• scientific article; zbMATH DE number 1512029 (Why is no real title available?)
• On a homomorphism of a component Petri net
• On Compositionality of Boundedness and Liveness for Nested Petri Nets
• scientific article; zbMATH DE number 7438162 (Why is no real title available?)
• Structural analysis of Petri nets
• Analysis of Petri nets by partitioning: Splitting transitions

This page was built for publication: Compositional analysis of Petri nets

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