A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
From MaRDI portal
Publication:2350777
DOI10.1016/J.AUTOMATICA.2013.07.023zbMath1358.93116OpenAlexW2018935935MaRDI QIDQ2350777
Ding Liu, Zhiwu Li, Meng Chu Zhou
Publication date: 25 June 2015
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2013.07.023
Petri netflexible manufacturing systemmonitorliveness-enforcing supervisorratio-enforcing supervisor
Production models (90B30) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50)
Related Items (6)
Synthesis of Petri net supervisors for FMS via redundant constraint elimination ⋮ Robust control reconfiguration of resource allocation systems with Petri nets and integer programming ⋮ Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems ⋮ A survey of siphons in Petri nets ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
This page was built for publication: A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
