Copyright and Licensing
Articles accepted for publication will be licensed under the Creative Commons BY-NC-SA. Authors must sign a non-exclusive distribution agreement after article acceptance.
HTSN: a complex workflow model based on colored Petri net
Keywords:
Complex workflow, Colored Petri net, Task State Net, Task version, Hierarchical Task State NetAbstract
Traditional workflow models have obvious shortcomings in describing complex workflows. Such complexity is due not only to the hierarchical property of business process, but also to the complicated dependencies among tasks. In this paper, we first introduce a conceptual task model based on UML class graph. Then we apply colored Petri nets to model task interfaces and composite task versions which form Task State Nets (TSNs) and Task Version Nets (TVNs). The main advantage is that they explicitly express all task interfaces´ internal states and thus they can easily describe the complex control dependencies. Next we further combine TSN/TVN with place refining mechanism and bring forward our Hierarchical Task State Net (HTSN). It supports the description of workflow's hierarchical structure, multi-versions configuration of composite task as well as the analysis of structural properties. Finally, we give a case study.
Downloads
Download data is not yet available.
References
[1] Nabil R.Adam, Vijayalakshmi Atluri, Wei-kuang Huang. Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems, 10, 131-158(1998).
[2] Gregor Joeris, Otthein Herzog. Managing Evolving Workflow Specifications. 3th IFCIS International Conference on Cooperative Information Systems, New York, Aug.1998, pp. 310-319.
[3] W.M.P. van der Aalst. The application of Petri nets to workflow management, The Journal of Circuits Systems and Computers 8(1), 1998, pp. 21-66.
[4] Kueng, Peter; Kawalek, Peter. Goal-based business process models: creation and evaluation. Business Process Management Journal, Vol. 3, No. 1 (April 1997), pp. 17-38.
[5] W.M.P van der Aalst, T. Basten. Inheritance of workflows: an approach to tackling problems related to change. Theretical Computer Science 270(2002)125-203.
[6] W.M.P. van der Aalst. On the automatic generation of workflow processes based on product structures. Computers in Industry 39(1999)97-111.
[7] Injun Choi, Chulsoon Park, Changwoo Lee. Task net: Transactional workflow model based on colored Petri net. European Journal of Operational Research 136(2002)383-402.
[8] Dongsheng Liu, Jiangmin Wang, Stephen C.F.Chan, Jiaguang Sun, Li Zhang. Modeling workflow processes with colored Petri nets. Computers in Industry 49(2002)267-281.
[9] Stork, David G., van Glabbeek, Rob. Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. 23rd International Conference on Applications and Theory of Petri Nets, Adelaide, Australia, June 24-30, 2002, pages 1-394pp.
[10] Workflow M C. The workflow reference model. [WfMC1003] [R]. WFMC TC-003, Jan. 1995.
[11] Gregor Joeris, Define Flexble Workflow Execution Behaviors, TZI Technical Report 15-1999, Center for Computing Technologies (TZI), University of Bremen, 1999.
[12] Reichert, M, Dadam, P. “ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control”, Journal of Intelligent Information Systems-Special Issue on Workflow Management, 10(2), Kluwer Academic Publishers, March 1998; pp.93-129.
[13] W.M.P. van der Aalst, A.P.Barros. Advanced Workflow Patterns. Fifth IFCIS International Conference on Coopertive Information Systems,volume 1901 of Lecture Notes in Computer Science, pages 18-29.
[14] Wasim Sadiq, Mariae E.Orlowska. Analyzing Process Models Using Graph Reduction Techniques. Information Systems Vol.25, No, 2, pp, 117-134, 2000.
[15] K.Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use-Volume I: Basic Concepts. EATCS Monographs in Computer Science, Vol.26, Springer-Verlag(1992).
[16] W.M.P.van der Aalst, Arthur H.M.Ter Hofstede. Verification of Workflow Task Structures: A Petri-Net-Based Approach.Information Systems, Vol.25, NO.1, pp.43-69, 2000.
[17] A.Goh, Y.-K.Koh, D.S.Domazet. ECA rule-based support for workflows. Artificial Intelligence in Engineering, 15(2001) 37-46.
[18] Product Data Management: The definition, CIMdata, http://www.cimdata.com, 1997.
[2] Gregor Joeris, Otthein Herzog. Managing Evolving Workflow Specifications. 3th IFCIS International Conference on Cooperative Information Systems, New York, Aug.1998, pp. 310-319.
[3] W.M.P. van der Aalst. The application of Petri nets to workflow management, The Journal of Circuits Systems and Computers 8(1), 1998, pp. 21-66.
[4] Kueng, Peter; Kawalek, Peter. Goal-based business process models: creation and evaluation. Business Process Management Journal, Vol. 3, No. 1 (April 1997), pp. 17-38.
[5] W.M.P van der Aalst, T. Basten. Inheritance of workflows: an approach to tackling problems related to change. Theretical Computer Science 270(2002)125-203.
[6] W.M.P. van der Aalst. On the automatic generation of workflow processes based on product structures. Computers in Industry 39(1999)97-111.
[7] Injun Choi, Chulsoon Park, Changwoo Lee. Task net: Transactional workflow model based on colored Petri net. European Journal of Operational Research 136(2002)383-402.
[8] Dongsheng Liu, Jiangmin Wang, Stephen C.F.Chan, Jiaguang Sun, Li Zhang. Modeling workflow processes with colored Petri nets. Computers in Industry 49(2002)267-281.
[9] Stork, David G., van Glabbeek, Rob. Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. 23rd International Conference on Applications and Theory of Petri Nets, Adelaide, Australia, June 24-30, 2002, pages 1-394pp.
[10] Workflow M C. The workflow reference model. [WfMC1003] [R]. WFMC TC-003, Jan. 1995.
[11] Gregor Joeris, Define Flexble Workflow Execution Behaviors, TZI Technical Report 15-1999, Center for Computing Technologies (TZI), University of Bremen, 1999.
[12] Reichert, M, Dadam, P. “ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control”, Journal of Intelligent Information Systems-Special Issue on Workflow Management, 10(2), Kluwer Academic Publishers, March 1998; pp.93-129.
[13] W.M.P. van der Aalst, A.P.Barros. Advanced Workflow Patterns. Fifth IFCIS International Conference on Coopertive Information Systems,volume 1901 of Lecture Notes in Computer Science, pages 18-29.
[14] Wasim Sadiq, Mariae E.Orlowska. Analyzing Process Models Using Graph Reduction Techniques. Information Systems Vol.25, No, 2, pp, 117-134, 2000.
[15] K.Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use-Volume I: Basic Concepts. EATCS Monographs in Computer Science, Vol.26, Springer-Verlag(1992).
[16] W.M.P.van der Aalst, Arthur H.M.Ter Hofstede. Verification of Workflow Task Structures: A Petri-Net-Based Approach.Information Systems, Vol.25, NO.1, pp.43-69, 2000.
[17] A.Goh, Y.-K.Koh, D.S.Domazet. ECA rule-based support for workflows. Artificial Intelligence in Engineering, 15(2001) 37-46.
[18] Product Data Management: The definition, CIMdata, http://www.cimdata.com, 1997.
Downloads
Published
2004-04-01
Issue
Section
Original Articles
License
How to Cite
[1]
“HTSN: a complex workflow model based on colored Petri net”, JCS&T, vol. 4, no. 01, pp. p. 66–72, Apr. 2004, Accessed: Jul. 08, 2025. [Online]. Available: https://journal.info.unlp.edu.ar/JCST/article/view/916
