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
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;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2004. Proceedings. The 8th International Conference on
Print_ISBN :
0-7803-7941-1
DOI :
10.1109/CACWD.2004.1349205
