Title :
Concurrency and Collision Workflow Model Based on Petri Net in Electric Power Monitoring System
Author :
Xie, Weicheng ; Xie, Yi
Author_Institution :
Sch. of Electr. & Inf. Eng., Xihua Univ., Chengdu, China
Abstract :
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.
Keywords :
Petri nets; concurrent engineering; monitoring; multiprocessing programs; power engineering computing; workflow management software; Petri net; collision workflow model; concurrency workflow model; electric power monitoring system; Artificial intelligence; Computational intelligence; Computer graphics; Concurrent computing; Design engineering; Electronic mail; Logic devices; Monitoring; Power engineering and energy; Power system modeling; Collision Model; Concurrency Model; Electric Power Monitoring System; Petri net; Workflow;
Conference_Titel :
Artificial Intelligence and Computational Intelligence, 2009. AICI '09. International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-3835-8
Electronic_ISBN :
978-0-7695-3816-7
DOI :
10.1109/AICI.2009.158
