Net structure and control logic synthesis of controlled Petri nets
From MaRDI portal
Publication:4506556
DOI10.1109/9.720505zbMath1056.93562MaRDI QIDQ4506556
Publication date: 17 October 2000
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.720505
93C83: Control/observation systems involving computers (process control, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets, Supervision based on place invariants: a survey, Linear control of live marked graphs, Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm