PNDesigner - a tool designed for model based diagnosis andsupervisory control of DES

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