Petri net controllers for generalized mutual exclusion constraints with floor operators

DOI10.1016/J.AUTOMATICA.2016.07.042zbMATH Open1348.93190OpenAlexW2528134256MaRDI QIDQ340680FDOQ340680

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

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

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)

Cites Work

• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
• A survey of Petri net methods for controlled discrete event systems
• Title not available (Why is that?)
• Supervisory Control of Petri Nets with Language Specifications
• On the enforcement of a class of nonlinear constraints on Petri nets
• Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
• A branch and bound approach for the design of decentralized supervisors in Petri net models
• Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
• Fault model identification and synthesis in Petri nets
• Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
• Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
• Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Feedback Control Logic for Backward Conflict Free Choice 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
• Approach for Transforming Linear Constraints on Petri Nets
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Supervision based on place invariants: a survey

Cited In (7)

• Title not available (Why is that?)
• An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs
• 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
• Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra
• 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

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)