Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets

DOI10.1007/978-3-319-39086-4_19zbMath1346.68130OpenAlexW2414410231MaRDI QIDQ2822661

L. W. Dworzanski, Irina A. Lomazova

Publication date: 4 October 2016

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-39086-4_19

zbMATH Keywords

place invariantsbehavioral propertiesnested Petri netsstructural analysis methods

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proving nonreachability by modulo-invariants
• Coloured Petri nets and the invariant-method
• Modelling of batch production systems using Petri nets with dynamic tokens
• Object Nets for Mobility
• Coloured Petri Nets
• Nested Nets for Adaptive Systems
• Decidability of Parameterized Verification
• On Compositionality of Boundedness and Liveness for Nested Petri Nets
• Nested Petri Nets for Adaptive Process Modeling
• Recent Trends in Algebraic Development Techniques
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2005

This page was built for publication: Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets