Resource workflow nets: An approach to workflow modelling and analysis

Enterprise Information Systems

Volumn 2, Issue 2, 2008, Pages 101-120

  Prisecaru, Oana Otilia ^a  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

Petri nets; Resources; Soundness; Workflow perspectives; Workflows

Indexed keywords

WORK SIMPLIFICATION;

BUSINESS PROCESS; RESOURCE WORKFLOW NETS; RESOURCES; SOUNDNESS; WORK-FLOWS; WORKFLOW MANAGEMENTS; WORKFLOW MODELLING; WORKFLOW PERSPECTIVES;

PETRI NETS;

EID: 46249132104     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517570802072951     Document Type: Article

References (16)

1. Aalst, WMP van der (1996) Structural characterisation of sound workflows nets. Computing Science Reports, 96-23, Eindhoven University of Technology, Eindhoven
2. Aalst, WMP van der (1997) Verifications of workflow nets. Application and Theory of Petri nets, Lecture Notes in Computer Science, 1248, pp. 407-426. Springer-Verlag, Berlin
3. Aalst, WMP van der (1998) The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8:1, pp. 21-66.
4. Aalst, WMP van der (1998) Three good reasons for using a petri-net-based workflow management system. Information and process integration in enterprises: Rethinking documents, The Kluwer International Series in Engineering and Computer Science, 428, pp. 161-182. Kluwer Academic Publishers, Boston
5. Aalst, WMP van der, Weske, M. and Wirtz, G. (2003) Advanced topics in workflow management. Issues, Requirements, and Solutions. Journal of Integrated Design and Process Science, 7:3, pp. 49-77.
6. Barkaoui, K. and Petrucci, L. (1998) Structural analysis of workflow nets with shared resources. Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM'98), Volume 98/7 of computing science reports, pp. 82-95. Eindhoven University of Technology, Eindhoven, The Netherlands
7. Hee, Kvan, Sidorova, N. and Voorhoeve, M. (1998) Resource-constrained workflow nets. Proceedings of the International Workshop on Concurrency, Specification and Programming (CS &P) 2004, Volume 98/7 of computing science reports, pp. 82-95. Eindhoven University of Technology, Eindhoven, The Netherlands
8. Kumar, A., Aalst, WMPvan der and Verbeek, HMW (2002) Dynamic work distribution in workflow management systems: How to balance quality and performance?. Journal of Management Information Systems, 18:3, pp. 157-193.
9. Lomazova, IA (2000) Nested Petri nets -a formalism for specification and verification of multi -agent distributed systems. Fundamenta Informaticae, 43, pp. 195-214.
10. Lomazova, IA and Schnoebelen, Ph (1999) 1999. Some decidability results for nested Petri nets. Proceedings of Ershov Memorial Conference, LNCS 1755, pp. 208-220.
11. Muhlen, Mzur (1999) Resource modeling in workflow applications. Proceedings of the 1999 Workflow Management Conference,, pp. 137-153.
12. Netjes, M., Aalst, WMPvan der and Reijers, HA (2005) Analysis of resource-constrained processes with colored Petri nets. Proceedings of the 6th Workshop and Tutorial on Practical Use of Coloured Petri nets and the CPN Tools (CPN'05), pp. 251-265. University of Denmark, Aarhus, Denmark
13. Russell, N., Aalst, WMPvan der, Hofstede, AHMter and Edmond, D. (2005) Workflow resource patterns: Identification, representation and tool support. Proceedings of CAiSE 2005, pp. 216-232. Porto, Portugal
14. Pesic, M. and Aalst, WMPvan der (2005) Modeling work distribution mechanisms using colored Petri nets. Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), pp. 157-176. University of Aarhus, Aarhus, Denmark
15. Reisig, W. (1985) Petri Nets. An introduction. EATCSMonographs on Theoretical Computer Science, Springer-Verlag, New York
16. WFMC (1999) Workflow management coalition terminology and glossary (WFMC-TC-1011), Technical report,, The Workflow Management Coalition, Brussels