Simulation of concurrent process with Petri-Markov nets
Alexey N. Ivutin, Eugene Larkin, Yuriy Lutskov, Aleksander Sergeevich Novikov · 2014
Mathematical apparatus of Petri-Markov nets is described. Petri-Markov simple subnets are introduced. Structures for the simulation of parallelism based on the simple subnets are proposed. Mathematical relationships for the evaluation of the time characteristics of algorithms for a wide class of concurrent computing systems are described.