Fusion of supervisors in discrete event systems using coloured Petri nets

zbMATH Open1363.93167MaRDI QIDQ2835124FDOQ2835124

Authors: F. A. de Alencar Menezes, Giovanni C. Barroso 

Publication date: 1 December 2016

Published in: Buletinul Institutului Politehnic din Iași. Secția Automatică și Calculatoare (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1220172
• Supervisor specification and synthesis for discrete event systems
• scientific article; zbMATH DE number 1304359
• Synthesis of Petri net supervisors for FMS via redundant constraint elimination
• Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
• Synthesis of controllers of processes modeled as colored Petri nets
• scientific article; zbMATH DE number 2103885
• Decentralized Supervision of Petri Nets
• Supervisor synthesis of Petri net with uncontrollable transitions

zbMATH Keywords

discrete event systemsupervisory controlcoloured Petri netfusion of controllerssupervision of coloured Petri nets

Mathematics Subject Classification ID

Control problems for functional-differential equations (34K35) Discrete event control/observation systems (93C65)

This page was built for publication: Fusion of supervisors in discrete event systems using coloured Petri nets

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