Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis

DOI10.1109/TAC.2014.2336431zbMath1360.93430OpenAlexW2061454845MaRDI QIDQ2982882

Huijuan Ni, Weimin Wu, Jiliang Luo, ShouGuang Wang, Meng Chu Zhou

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2014.2336431

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

Related Items (6)

Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ Resource failure and buffer space allocation control for automated manufacturing systems ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources ⋮ Design of supervisors for linear marking specifications in labeled Petri nets

This page was built for publication: Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis