An Optimization Approach to Petri Net Monitor Design

DOI10.1109/TAC.2006.887905MaRDI QIDQ5282039zbMATH OpenOpenAlexFDO

Authors Francesco Basile, Pasquale Chiacchio, Alessandro Giua

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Fractional programming (90C32) Discrete event control/observation systems (93C65)

Cited in

(5)

• 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
• Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems

This page was built for publication: An Optimization Approach to Petri Net Monitor Design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282039)