Extension of the lower bound of monitor solutions of maximally permissive supervisors to non- net systems

DOI10.1080/00207721.2014.977977MaRDI QIDQ2822261zbMATH OpenOpenAlexFDO

Authors Wuhua Wu, Daniel Y. Chao

Publication date 30 September 2016

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207721.2014.977977

zbMATH Keywords

Petri netdeadlock preventionflexible manufacturing system (FMS)

Mathematics Subject Classification ID

Production models (90B30) Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)

Recommendations

• On the lower bound of monitor solutions of maximally permissive supervisors for a subclass \(\alpha\)-\(S^{3}\)PR of flexible manufacturing systems
• Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
• On structural minimality of optimal supervisors for flexible manufacturing systems
• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
• Reduction of the supervisory control problem for Petri nets

Cites work

• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
• Feedback control of Petri nets based on place invariants
• On the lower bound of monitor solutions of maximally permissive supervisors for a subclass \(\alpha\)-\(S^{3}\)PR of flexible manufacturing systems

Cited in

(1)

• On the lower bound of monitor solutions of maximally permissive supervisors for a subclass \(\alpha\)-\(S^{3}\)PR of flexible manufacturing systems

This page was built for publication: Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-\(\alpha\) net systems

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