ANALYSIS OF CONTROLLED PROCESS SYSTEMS BY HIGH-LEVEL PETRI NETS .2. ANALYSIS

In the first part of our two-part paper the coloured Petri net model o f the controlled process system consisting of the qualitative dynamic processmodel and the operating procedure has been introduced and has b een proposed for model-based verification of operating procedures. The second part is devoted to the analysis of the resulted Petri net mode l applying the methods available for analysing coloured Petri nets. Th e well-known properties of coloured Petri nets (such as reachability, liveness, boundedness etc.) are given technological and process contro l meaning in case of our Petri net model of the controlled process sys tem containing both the process and its operating procedure. It is sho wn how the concepts and methods can be applied for controlled chemical process systems.