Synthesis of controllers of processes modeled as colored Petri nets

DOI10.1023/A:1008371814442zbMath0952.93040OpenAlexW1598735159MaRDI QIDQ1300106

Michel Barbeau, Richard St.-Denis, Mbi Makungu

Publication date: 11 January 2001

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008371814442

zbMATH Keywords

supervisory controlsupervisor synthesiscolored Petri netsdiscrete-event system

Mathematics Subject Classification ID

Hierarchical systems (93A13) Synthesis problems (93B50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (2)

Control of parameterized discrete event systems ⋮ Synthesis of controllers for symmetric systems

This page was built for publication: Synthesis of controllers of processes modeled as colored Petri nets