Control synthesis of Petri nets based on \(S\)-decreases

DOI10.1023/A:1008397810443zbMath0958.93064OpenAlexW2128675654MaRDI QIDQ1581036

Haoxun Chen

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

zbMATH Keywords

discrete event systemcontrol synthesisforbidden statescontrolled Petri netminimal support \(S\)-decreases

Mathematics Subject Classification ID

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