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

Concurrency and Collision Workflow Model Based on Petri Net in Electric Power Monitoring System,10.1109/AICI.2009.158,Weicheng Xie,Yi Xie

Concurrency and Collision Workflow Model Based on Petri Net in Electric Power Monitoring System  
BibTex | RIS | RefWorks Download
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.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.