Liveness and boundedness analysis of Petri net synthesis

DOI10.1017/S0960129512000515zbMath1342.68247OpenAlexW2076019503MaRDI QIDQ5740394

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)

Cites Work

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

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