Analysis of the operational Petri nets by a distributed system
Andrei G. Karatkevich, Tomasz Gratkowski · International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science · 2004
In This work a method of dynamic analysis of big operational Petri nets is described. A net is decomposed and its blocks are distributed within a computer network. Each block is simulated independently, and the results of simulation are joined and interpreted by the master computer.