DocumentCode
1694755
Title
A workflow model based on time-extended and hierarchy-extended Petri net
Author
Wang, Bao-Yi ; Zhang, Shao-Min ; Zhu, Yong-li
Author_Institution
Sch. of Comput., North China Electr. Power Univ., Baoding, China
Volume
2
fYear
2004
Firstpage
318
Abstract
At present the workflow model lacks of time constraints and cannot support complex workflow systems, so the classical Petri net is extended in time and hierarchy in this paper. Based on the above extension, a time-extended and hierarchy-extended workflow-net model is proposed. At the same time the construction algorithm of the THEWF-Net model is presented. The algorithm is applied to model the production-developed process and the old product-reconstructed process. Finally the correctness of the THEWF-Net model is validated.
Keywords
Petri nets; formal verification; workflow management software; THEWF-Net model; complex workflow systems; correctness validation; hierarchy-extended Petri net; product-reconstructed process; production-developed process; time constraints; time-extended Petri net; workflow model; Clocks; Fires; Logic; Modems; Power system modeling; Resource management; Security; Time factors;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Supported Cooperative Work in Design, 2004. Proceedings. The 8th International Conference on
Print_ISBN
0-7803-7941-1
Type
conf
DOI
10.1109/CACWD.2004.1349205
Filename
1349205
Link To Document