Designing a workflow system using coloured petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5800 LNCS, Issue , 2009, Pages 1-24

  Russell, Nick C ^a   Van Der Aalst, Wil M P ^a,b   Ter Hofstede, Arthur H M ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Business process management; Coloured Petri nets; NewYAWL; Workflow patterns; Workflow technology

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; COLOURED PETRI NETS; CONTROL-FLOW; DATA MANAGEMENT; FORMAL TECHNIQUES; LANGUAGE CONSTRUCTS; LANGUAGE ELEMENTS; OPERATIONAL DESIGN; OPERATIONAL ENVIRONMENTS; OPERATIONAL SEMANTICS; WORK DISTRIBUTION; WORK-FLOW SYSTEMS; WORKFLOW LANGUAGE; WORKFLOW PATTERNS; WORKFLOW TECHNOLOGY;

ENTERPRISE RESOURCE MANAGEMENT; GRAPH THEORY; LINGUISTICS; SEMANTICS;

PETRI NETS;

EID: 70549086992     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04856-2_1     Document Type: Conference Paper

References (27)

1. Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P.: new YAW L: S p eci fy in g a workflow reference language using Coloured Petri Nets. In: Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Number DAIMI PB-584, Department of Computer Science, pp. 107-126. University of Aarhus, Denmark (2007)
2. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet another workflow language. Information Systems 30(4), 245-275 (2005)
3. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(3), 5-51 (2003)
4. Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical Report BPM-06-22 (2006), http://www.BPMcenter.org
5. Wynn, M., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Achieving a general, formal and decidable approach to the OR-join in workflow using Reset nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 423-443. Springer, Heidelberg (2005)
6. Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns: Identification, representation and tool support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, pp. 353-368. Springer, Heidelberg (2005)
7. Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: Identification, representation and tool support. In: Pastor, Ó., Fa l c ão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 216-232. Springer, Heidelberg (2005)
8. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1997)
9. Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: newYAWL: achieving comprehensive patterns support in workflow for the control-flow, data and resource perspectives. Technical Report BPM-07-05 (2007), http://www.BPMcenter.org
10. van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers 8(1), 21-66 (1998)
11. Ellis, C., Nutt, G.: Modelling and enactment of workflow systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 1-16. Springer, Heidelberg (1993)
12. Adam, N., Atluri, V., Huang, W.: Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems 10(2), 131-158 (1998)
13. Moldt, D., Rölke, H.: Pattern based workflow design using reference nets. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 246-260. Springer, Heidelberg (2003)
14. van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information and Software Technology 41(10), 639-650 (1999)
15. Störrle, H., Hausmann, J.: Towards a formal semantics of UML 2.0 activities. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Proceedings of the Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, Essen, Germany, Gesellschaft fur Informatik. LNI, vol. 64, pp. 117-128 (2005)
16. Dijkman, R., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology 50(12), 1281-1294 (2008)
17. Pesic, M., van der Aalst, W.M.P.: Modelling work distribution mechanisms using colored Petri nets. International Journal on Software Tools for Technology Transfer 9(3), 327-352 (2007)
18. Di Nitto, E., Lavazza, L., Schiavoni, M., Tracanella, E., Trombetta, M.: Deriving executable process descriptions from UML. In: ICSE 2002: Proceedings of the 24th International Conference on Software Engineering, pp. 155-165. ACM Press, New York (2002)
19. Machado, R., Lassen, K., Oliveira, S., Couto, M., Pinto, P.: Requirements validation: Execution of UML models with CPN tools. International Journal on Software Tools for Technology Transfer 9(3), 353-369 (2007)
20. Jensen, K., Kristensen, L., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. International Journal of Software Tools for Technology Transfer 9(3), 213-254 (2007)
21. Gottschalk, F., van der Aalst, W., Jansen-Vullers, M., Verbeek, H.: Protos2CPN: Using colored Petri nets for configuring and testing business processes. In: Jensen, K. (ed.) Proceedings of the 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. PB-579 of DAIMI Reports, Aarhus, Denmark, pp. 137-155 (2006)
22. Ribeiro, O., Fernandes, J.: Some rules to transform sequence diagrams into coloured Petri nets. In: Jensen, K. (ed.) Proceedings of the 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. PB-579 of DAIMI Reports, Aarhus, Denmark, pp. 137-155 (2006)
23. Jørgensen, J.B., Lassen, K.B., van der Aalst, W.M.P.: From task descriptions via coloured Petri nets towards an implementation of a new electronic patient record. In: Jensen, K. (ed.) Proceedings of the 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark. PB-579 of DAIMI Reports, pp. 137-155 (2006)
24. Jablonski, S., Bussler, C.: Workflow Management: Modeling Concepts, Architecture and Implementation. Thomson Computer Press, London (1996)
25. Ceri, S., Grefen, P., Sanchez, G.: WIDE: a distributed architecture for workflow management. In: Proceedings of the Seventh International Workshop on Research Issues in Data Engineering (RIDE 1997), Birmingham, England. IEEE Computer Society Press, Los Alamitos (1997)
26. Ludwig, H., Hoffner, Y.: Contract-based cross-organisational workflows - the Cross-Flow project. In: Grefen, P., Bussler, C., Ludwig, H., Shan, M. (eds.) Proceedings of the WACC Workshop on Cross-Organisational Workflow Management and CoOrdination, San Francisco (1999)
27. Eder, J., Liebhart, W.: The workflow activity model (WAMO). In: Laufmann, S., Spaccapietra, S., Yokoi, T. (eds.) Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS 1995), pp. 87-98. University of Toronto Press, Vienna (1995)