Program Solution of Supervisory Control Based on Petri Nets

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

“…The supervisory control design and fault diagnosis of DES plants can be solved by program modules of PNControl written in MATLAB and by Visual C++ application PNDesigner (figures 1-3) [3], [4]. Both tools have been designed between 1998 and 2006 and they are equipped with the following modules: graphical user interface (GUI), analysis modules, failure diagnosis, supervisory control synthesis and simulation modules.…”

“…Supervisory control [10], [11], [7] -design of supervisors (methods based on P-invariants with observable and unobservable marking [8], [13], on backward firing and reachability tree-analysis [3], [4]) Diagnosis algorithms of well-formed free-choice Petri nets -backward reachability analysis and minimal context computation [5], [6], probabilistic fault diagnosis [4]. Simulation.…”

“…These drawbacks can be mitigated partially by transforming the systems constraints to include all uncontrollably reachable states. The second method is based on the reachability tree analysis algorithms [3]. The tree algorithm can be designed modularly and the set of weakly forbidden states can be constructed without enumerating all nodes of the tree.…”