Application of controling Petri nets for modeling concurrent processes with multiple choices

Kuzmuk A.V., Kuzmuk V.V., Suprunenko O.O.

The article discusses the interpretation of the Control Networks (SN), which is based on safe Petri nets (SPN). In the example of the efficient allocation of resources demonstrated the possibility of SN, compared with models based on safe Petri nets.

Full text (pdf)