Control synthesis of Petri nets based on \(S\)-decreases
From MaRDI portal
Publication:1581036
DOI10.1023/A:1008397810443zbMath0958.93064OpenAlexW2128675654MaRDI QIDQ1581036
Publication date: 1 April 2001
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008397810443
discrete event systemcontrol synthesisforbidden statescontrolled Petri netminimal support \(S\)-decreases
Discrete event control/observation systems (93C65) Synthesis problems (93B50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
A polynomial dynamic system approach to software design for attractivity requirement ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Supervisory control based on minimal cuts and Petri net sub-controllers coordination ⋮ Linear control of live marked graphs