DocumentCode
3004149
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
fYear
2006
fDate
10-12 July 2006
Firstpage
471
Lastpage
472
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location
Ann Arbor, MI
Print_ISBN
1-4244-0053-8
Type
conf
DOI
10.1109/WODES.2006.382521
Filename
4267671
Link To Document