Parikh vector based approach for Petri net controller

MaRDI QIDQ3447908zbMATH OpenFDO

Authors Ze Tao, Xiaoxia Liu

Publication date 28 October 2015

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Linear systems in control theory (93C05) Discrete event control/observation systems (93C65) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• scientific article; zbMATH DE number 2165702
• The synthesis of Petri nets controller for general inequality constraints with uncontrollable transitions
• Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri nets
• Reduction of constraints for controller synthesis based on safe Petri nets
• scientific article; zbMATH DE number 1220172

Cited in

(4)

• Fault detection based on parity checks in Petri net controller
• Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri nets
• The synthesis of Petri nets controller for general inequality constraints with uncontrollable transitions
• scientific article; zbMATH DE number 2165702 (Why is no real title available?)

This page was built for publication: Parikh vector based approach for Petri net controller

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