On Compositionality of Boundedness and Liveness for Nested Petri Nets

DOI10.3233/FI-2012-762MaRDI QIDQ4902320zbMATH OpenOpenAlexFDO

Authors L. W. Dworzanski, Irina A. Lomazova

Publication date 14 January 2013

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2012-762

Mathematics Subject Classification ID

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

Recommendations

• Liveness and boundedness analysis of Petri net synthesis
• Compositional reachability in Petri nets
• scientific article; zbMATH DE number 1522994
• Results on equivalence, boundedness, liveness, and covering problems of BPP-Petri nets
• Compositional analysis of Petri nets
• scientific article; zbMATH DE number 3988722
• scientific article; zbMATH DE number 7438162
• On liveness and controlled siphons in Petri nets
• Deciding Structural Liveness of Petri Nets

Cited in

(5)

• Boundedness of adaptive nets is decidable
• Automatic construction of systems of distributed components from nested Petri nets models
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• scientific article; zbMATH DE number 1522994 (Why is no real title available?)
• Liveness and boundedness analysis of Petri net synthesis

This page was built for publication: On Compositionality of Boundedness and Liveness for Nested Petri Nets

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