Моделирование параллельных процессов. Сети Петри. [Modelling Concurrent Processes. Petri nets]