Research on petri net systems parallelization method
Zhenxiong Lan · Journal of Guangxi University · 2009
The general parallelization method of Petri net system.The reasons of using P/T Net as a research bject and the conditions is investigated to greate parallel process and the partitioning technique for petri net system based on p-invarants are proposed.The parallelization conditions and methods of Non-negative place and shared place processes are presented and then they are proven and verified.The Petri Nets parallelization problem of the non-existence P-invariant is discussed.It is found that their concurrent processes do not exist and Petri Nets cannot be parallelized.The general method and implementation steps for Petri net systems parallelization are proposed,and it is a common and effective method of parallelizing Petri net system in various application areas.