Liveness and boundedness analysis of Petri net synthesis

DOI10.1017/S0960129512000515MaRDI QIDQ5740394zbMATH OpenOpenAlexFDO

Authors Chuanliang Xia

Publication date 26 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129512000515

Mathematics Subject Classification ID

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

Recommendations

• On Compositionality of Boundedness and Liveness for Nested Petri Nets
• Deciding Structural Liveness of Petri Nets
• Observable liveness of Petri nets
• Reduction and synthesis of live and bounded free choice Petri nets
• scientific article; zbMATH DE number 3982527
• scientific article; zbMATH DE number 2112363
• scientific article; zbMATH DE number 2088663
• On liveness and controlled siphons in Petri nets
• Structural Liveness of Immediate Observation Petri Nets

Cites work

• Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
• The synthesis of Petri nets from path-automatic specifications

Cited in

(9)

• Synthesis of live and bounded persistent systems
• Deciding Structural Liveness of Petri Nets
• Synthesis of a Class of Deadlock-Free Petri Nets
• scientific article; zbMATH DE number 2112363 (Why is no real title available?)
• scientific article; zbMATH DE number 2112417 (Why is no real title available?)
• On Compositionality of Boundedness and Liveness for Nested Petri Nets
• Necessary and sufficient liveness condition of GS³PR Petri nets
• Theory and Applications of Models of Computation
• Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system

This page was built for publication: Liveness and boundedness analysis of Petri net synthesis

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