Some decidability results for nested Petri nets

DOI10.1007/3-540-46562-6_18MaRDI QIDQ4511269zbMATH OpenFDO

Authors Philippe Schnoebelen, Irina Aleksandrovna Lomazova

Publication date 30 October 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46562-6_18

zbMATH Keywords

nested Petri nets

Mathematics Subject Classification ID

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

Review text

Nested Petri nets are Petri nets using other Petri nets as tokens, thereby allowing easy description of hierarchical systems. Their nested structure makes some important verification problems undecidable (reachability, boundedness,\dots) while some other problems remain decidable (termination, inevitability,\dots). For the entire collection see [Zbl 0933.00047].

Recommendations

• Recursive nested Petri Nets: Analysis of semantic properties and expessibility
• On Compositionality of Boundedness and Liveness for Nested Petri Nets
• Nested Petri Nets for Adaptive Process Modeling
• Nested Petri nets: Multi-level and recursive systems.
• Decidability of the Petri net reachability problem

Cited in

(20)

• Recursive nested Petri Nets: Analysis of semantic properties and expessibility
• Boundedness of adaptive nets is decidable
• Nested-unit Petri nets
• Recursive Petri nets
• On freeze LTL with ordered attributes
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Petri nets with non-blocking arcs are difficult to analyze
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• Entscheidbarkeit bei Petri Netzen
• scientific article; zbMATH DE number 4115984 (Why is no real title available?)
• On Compositionality of Boundedness and Liveness for Nested Petri Nets
• Data centric workflows for crowdsourcing
• On Petri nets with hierarchical special arcs
• On the Qualitative Analysis of Conformon P Systems
• scientific article; zbMATH DE number 5201373 (Why is no real title available?)
• Nested Petri Nets for Adaptive Process Modeling
• Decidability and complexity of Petri nets with unordered data
• Nets-within-nets through the lens of data nets
• The residue of vector sets with applications to decidability problems in Petri nets

This page was built for publication: Some decidability results for nested Petri nets

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