Feedback control of Petri nets based on place invariants
From MaRDI portal
Publication:1911289
DOI10.1016/0005-1098(95)00103-4zbMath0845.93034OpenAlexW4236164983WikidataQ127997837 ScholiaQ127997837MaRDI QIDQ1911289
John Moody, Katerina Yamalidou, Panos J. Antsaklis, Michael D. Lemmon
Publication date: 5 June 1996
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0005-1098(95)00103-4
Applications of graph theory (05C90) Feedback control (93B52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General systems (93A10)
Related Items (52)
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems ⋮ Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement ⋮ Controller Synthesis with Highly Simplified Linear Constraints ⋮ Determinization of timed Petri nets behaviors ⋮ Supervision based on place invariants: a survey ⋮ Concurrency bugs in multithreaded software: modeling and analysis using Petri nets ⋮ Feedback control of Petri nets based on place invariants ⋮ Optimal Petri net supervisor synthesis for forbidden state problems using marking mask ⋮ On structural minimality of optimal supervisors for flexible manufacturing systems ⋮ Equivalent transformation of nonlinear constraints to linear constraints in Petri nets ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Controller synthesis for net condition/event systems with a solution for incomplete state observation ⋮ Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra ⋮ On the enforcement of a class of nonlinear constraints on Petri nets ⋮ Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs ⋮ Feedback control to guarantee marking constraints in timed event graphs including disturbances: application to disassembly systems ⋮ Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Deadlock analysis and control using Petri net decomposition techniques ⋮ Robust control reconfiguration of resource allocation systems with Petri nets and integer programming ⋮ Min-plus realizable control design for partially observable timed event graphs under marking constraints ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method ⋮ Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems ⋮ Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems ⋮ Distributed Control of Discrete-Event Systems: A First Step ⋮ Reduction of constraints for controller synthesis based on safe Petri nets ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems ⋮ Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions ⋮ Supervisory control of marked graphs with partial observations ⋮ Execution control of ROV navigation, guidance and control tasks ⋮ Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions ⋮ Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places ⋮ State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints ⋮ Structural optimal control for safe Petri nets ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ A survey of siphons in Petri nets ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Synthesis of Petri net supervisors enforcing general constraints ⋮ Feedback control for a class of discrete event systems with critical time ⋮ Grafcet: behavioural issues and control synthesis ⋮ Petri net representation and reachability analysis of 0--1 integer linear programming problems ⋮ Inference approach based on Petri nets ⋮ Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems ⋮ A multistep look-ahead deadlock avoidance policy for automated manufacturing systems ⋮ Lifted structural invariant analysis of Petri net product lines ⋮ A branch and bound approach for the design of decentralized supervisors in Petri net models ⋮ Unnamed Item ⋮ Structure of weakly 2-dependent siphons ⋮ Linear control of live marked graphs
Cites Work
- Feedback control of Petri nets based on place invariants
- Synthesis of feedback control logic for a class of controlled Petri nets
- Control of vector discrete-event systems. II. Controller synthesis
- Blocking and controllability of Petri nets in supervisory control
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Feedback control of Petri nets based on place invariants
