QUALITATIVE MODEL-BASED VERIFICATION OF O PERATING PROCEDURES USING COLORED PETRI NETS

A method of transforming constraint type qualitative differential equa tions into coloured Petri nets has been shown in the paper when the va riables and parameters in the qualitative differential equations are d escribed by order of magnitude value set. The proposed transformation enables the application of established verification and analysis metho ds developed for coloured Petri nets for the verification of operating procedures using the qualitative model of the controlled system. The proposed method is illustrated by a simple technological example.