ANALYSIS OR CONTROLLED PROCESS SYSTEMS BY HIGH-LEVEL PETRI NETS .1. MODELING

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 process model and the operating procedure is introduced and is propose d for model-based verification of operating procedures. The operation of the coloured Petri net model of the process and that of the operati ng procedure is defined in various ways. It is also investigated how t he solution methods of the qualitative difference equations present in the are function of the coloured Petri net effects the operation of t he net.