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

Volume

4

fYear

2009

fDate

7-8 Nov. 2009

Firstpage

409

Lastpage

413

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/AICI.2009.158

Filename

5376302