Title :
PNDesigner - a tool designed for model based diagnosis andsupervisory control of DES
Author :
Flochova, J. ; Auxt, Filip ; Radakovic, M. ; Jombik, O.
Author_Institution :
Inst. of Comput. Syst. & Network, Slovak Univ. of Technol., Bratislava
Abstract :
The presented tool PNDesigner is devoted to graphical editing, analysis, diagnosis and control synthesis of Petri nets. The paper and demonstration focuses on the exploitation of the PNDesigner for teaching and on illustrating the usage of the PN theory in graduate control education and in engineering practice
Keywords :
Petri nets; computer aided instruction; computer graphics; control engineering education; control system CAD; discrete event systems; educational courses; teaching; PN theory; PNDesigner; Petri nets; control education; control engineering; control synthesis; discrete event systems; graphical editing; model based diagnosis; supervisory control; Algorithm design and analysis; Automatic control; Control engineering education; Fault diagnosis; Graphical user interfaces; MATLAB; Mathematical model; Petri nets; Reachability analysis; Supervisory control;
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
DOI :
10.1109/WODES.2006.382521
