Concurrency and Collision Workflow Model Based on Petri Net in Electric Power Monitoring System

Electric power monitoring system is a complex system, its workflow model is an important task in the system design. The paper provides an approach to solve the concurrency and collision problems using Petri net as workflow model tools in the system. In support of the system, this paper makes the relevant definitions, and takes example for the concurrency and collision workflow model application, and shows a relevant workflow model based on Petri net. Moreover, validate the correctness of the collision model.