Global Variables in Colored Petri Nets
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).
Authors retain copyright and grant the journal the right of the first publication with the paper simultaneously licensed under the Creative Commons Attribution 4.0 (CC BY 4.0) licence.
Authors are allowed to enter into separate, additional contractual arrangements for the non-exclusive distribution of the paper published in the journal with an acknowledgement of the initial publication in the journal.
Copyright terms are indicated in the Republic of Lithuania Law on Copyright and Related Rights, Articles 4-37.