An Optimization Approach to Petri Net Monitor Design
From MaRDI portal
Publication:5282039
DOI10.1109/TAC.2006.887905zbMath1366.93342OpenAlexW2066990622MaRDI QIDQ5282039
Alessandro Giua, Francesco Basile, Pasquale Chiacchio
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2006.887905
Fractional programming (90C32) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets ⋮ On structural minimality of optimal supervisors for flexible manufacturing systems ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
This page was built for publication: An Optimization Approach to Petri Net Monitor Design