Petri net controllers for generalized mutual exclusion constraints with floor operators

DOI10.1016/J.AUTOMATICA.2016.07.042MaRDI QIDQ340680zbMATHOpenAlexFDO

Authors Ziyue Ma, Zhiwu Li, Alessandro Giua

Publication date 14 November 2016

Published in Automatica (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11584/212943

zbMATH Keywords

Petri netgeneralized mutual exclusion constraintstair-GMECsupervisory control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)

Recommendations

• Forbidden state avoidance controller synthesis for Petri nets
• scientific article; zbMATH DE number 1836366
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement
• Design of supervisors for linear marking specifications in labeled Petri nets

Cites work

• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• A branch and bound approach for the design of decentralized supervisors in Petri net models
• A survey of Petri net methods for controlled discrete event systems
• Approach for Transforming Linear Constraints on Petri Nets
• Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
• Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations
• Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
• Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Fault model identification and synthesis in Petri nets
• Feedback Control Logic for Backward Conflict Free Choice Nets
• Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
• Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• On the enforcement of a class of nonlinear constraints on Petri nets
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
• Supervision based on place invariants: a survey
• Supervisory Control of Petri Nets with Language Specifications
• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets

Cited in

(7)

• Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
• Control laws synthesis for timed event graphs subject to generalised marking constraints by Min-Plus algebra: application to cluster tools
• scientific article; zbMATH DE number 1836366 (Why is no real title available?)
• An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs
• Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra
• Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs
• Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra

This page was built for publication: Petri net controllers for generalized mutual exclusion constraints with floor operators

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