A Solution of DEDS Control Synthesis Problems
From MaRDI portal
Publication:4809975
DOI10.1080/02329290290031080zbMath1069.93020MaRDI QIDQ4809975
Publication date: 31 August 2004
Published in: Systems Analysis Modelling Simulation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/02329290290031080
Petri nets; control synthesis; adjacency matrix; oriented graphs; backtracking; discrete-event dynamic systems; straight-lined approach
05C90: Applications of graph theory
93C65: Discrete event control/observation systems
93B50: Synthesis problems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)