Forbidden state avoidance controller synthesis for Petri nets
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 2117022
- scientific article; zbMATH DE number 1836366
- Controller synthesis with highly simplified linear constraints
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- A generalization of state avoidance policies for controlled Petri nets
Cited in
(13)- Design of supervisors for linear marking specifications in labeled Petri nets
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
- An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets
- Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
- Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
- Petri net controllers for generalized mutual exclusion constraints with floor operators
- Controller synthesis with highly simplified linear constraints
- scientific article; zbMATH DE number 1836366 (Why is no real title available?)
- Optimal Petri-net supervisor synthesis based on constraint transformation
- Control of safe ordinary Petri nets using unfolding
- Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Reduction of constraints for controller synthesis based on safe Petri nets
This page was built for publication: Forbidden state avoidance controller synthesis for Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3415315)
