Global Variables in Colored Petri Nets

Abstract

Simulating the complex control systems and desiring the results of simulation to maximally draw nearer the real processes, it will be already not enough of those possibilities, which are provided by colored Petri nets. There exist such control systems, for which it is not possible to create adequate model or the model complexity grows to such extent at which it loses its functionality. For the solution of such problems it is proposed to use global variables in the colored Petri nets. Global variables create the possibility to simulate the programs of control, when control system is built using a mechanism of interruptions. The use of global variables breaks the rigidly specific graphic structure of the colored Petri nets, since the concealed connections appear, so that for their use rigid rules are determined. Usage of global variables enables to make models with dynamic control of delays and fast service of interruptions, without damaging causal connections and parallelism of processes in a control system. Ill. 3, bibl. 8 (in English, summaries in English, Russian, Lithuanian).