Net structure and control logic synthesis of controlled Petri nets
From MaRDI portal
Publication:4506556
DOI10.1109/9.720505zbMath1056.93562OpenAlexW2133746353MaRDI 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
Control/observation systems involving computers (process control, etc.) (93C83) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Supervision based on place invariants: a survey ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets ⋮ Linear control of live marked graphs
This page was built for publication: Net structure and control logic synthesis of controlled Petri nets
