Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

DOI10.1016/J.AUTOMATICA.2006.02.003MaRDI QIDQ857147zbMATHOpenAlexFDO

Authors Francesco Basile, Pasquale Chiacchio, Alessandro Giua

Publication date 14 December 2006

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2006.02.003

zbMATH Keywords

Petri netsdiscrete event systemssupervisory controlmonitors

Mathematics Subject Classification ID

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

Recommendations

• Forbidden state avoidance controller synthesis for Petri nets
• The synthesis of Petri nets controller for general inequality constraints with uncontrollable transitions
• Optimal Petri-net supervisor synthesis based on constraint transformation
• scientific article; zbMATH DE number 1836366
• Petri net supervisors for DES with uncontrollable and unobservable transitions

Cites work

• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 777433 (Why is no real title available?)
• A survey of Petri net methods for controlled discrete event systems
• Control of vector discrete-event systems. II. Controller synthesis
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Synthesis of supervisors enforcing general linear constraints in petri nets

Cited in

(19)

• Real time identification of discrete event systems using Petri nets
• Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
• Design of supervisors for linear marking specifications in labeled Petri nets
• Forbidden state avoidance controller synthesis for Petri nets
• On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
• Petri net controllers for generalized mutual exclusion constraints with floor operators
• scientific article; zbMATH DE number 1820092 (Why is no real title available?)
• An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• scientific article; zbMATH DE number 1836366 (Why is no real title available?)
• On structural minimality of optimal supervisors for flexible manufacturing systems
• Controller synthesis with highly simplified linear constraints
• Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
• Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process
• Reduction of constraints for controller synthesis based on safe Petri nets
• An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
• Elementary-siphon-based control policy for flexible manufacturing systems with partial observability and controllability of transitions
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement

This page was built for publication: Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

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