Fusion of supervisors in discrete event systems using coloured Petri nets

MaRDI QIDQ2835124zbMATH OpenFDO

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)

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)

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

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)