A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
From MaRDI portal
Publication:5026749
DOI10.1080/00207721.2020.1737268zbMath1483.93405OpenAlexW3016013306MaRDI QIDQ5026749
Publication date: 8 February 2022
Published in: International Journal of Systems Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207721.2020.1737268
Petri netsdeadlockscontrol transition equation (CTE)control transitions (CTs)live maximally reachable number (LMRN)
Linear programming (90C05) Discrete event control/observation systems (93C65) Attainable sets, reachability (93B03)
Uses Software
Cites Work
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination
- Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
- A generic Petri net model for flexible manufacturing systems and its use for FMS control software testing
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Symbolic analysis of bounded Petri nets
This page was built for publication: A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
