The analysis of resource constrained workflows using Petri nets

Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, in Conjunction with ICEIS 2010

Volumn , Issue , 2010, Pages 50-59

  Prisecaru, Oana Otilia ^a  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX PROCESSES; PETRI NET MODELS; RESOURCE-CONSTRAINED; SPECIAL CLASS; WORK-FLOWS; WORKFLOW NETS;

GRAPH THEORY; MANAGEMENT; PETRI NETS;

INFORMATION SYSTEMS;

EID: 78649379008     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. W. M. P. van der Aalst: The Application of Petri nets to Workflow Management, The journal of Circuits, Systems and Computers, 8(1): pp. 21-66, Eindhoven University of Technology, The Netherlands, 1998.
2. W. M. P. van der Aalst: Verifications of Workflow Nets. P. Azema and G. Balbo, editors, Application and Theory of Petri nets 1997, volume 1248 of Lecture Notes in Computer Science, pp. 407-426, SpringerVerlag, Berlin, 1997.
3. K. Barkaoui, L. Petrucci: 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, 1998.
4. K. van Hee, N. Sidorova, M. Voorhoeve: Resource-Constrained Workflow Nets. Lindemann, Burkhard, Czaja, Skowron, Schlingloff, Suraj (Eds.): Proc. of the International Workshop on Concurrency, Specification and Programming (CS & P) 2004, pp. 166-177, Informatik-Berichte der Humboldt-Universitat zu Berlin, Nr. 170, September 2004.
5. K. Hee, N. Sidorova and M. Voorhoeve: Generalised Soundness of Workflow Nets Is Decid-able. In Application and Theory of Petri Nets 2004, vol. 3099 of Lecture Notes in Computer Science, pages 8295. Springer-Verlag, Berlin, 2004.
6. A. Kumar, W.M.P. van der Aalst, H.M.W. Verbeek: Dynamic Work Distribution in Workflow Management Systems: How to balance quality and performance?. Journal of Management Information Systems, 18(3), pp. 157-193, 2002.
7. J. Li, Y. Fan, and M. Zhou. Performance modeling and analysis of workflow. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 34:229242, 2004
8. I.A. Lomazova: Nested Petri Nets - a Formalism for Specification and Verification of Multi -Agent Distributed Systems. Fundamenta Informaticae 43 pp. 195-214, 2000.
9. M. zur Mühlen. Resource modeling in workflow applications. Proceedings of the 1999 Workflow Management Conference (November 1999), pp. 137-153, 1999.
10. M. Netjes, W.M.P. van der Aalst, H.A. Reijers. Analysis of resource-constrained processes with colored petri nets. In K. Jensen, Proc. of the 6th Workshop and Tutorial on Practical Use of Coloured Petri nets and the CPN Tools (CPN'05), pp. 251-265, 2005
11. O. Prisecaru. Resource workflow nets.a Petri Net Formalism for Workflow Modelling. In Proc. of MSVVEIS 2007, pages 1121, 2007.
12. O. Prisecaru. Resource workflow nets: an approach to workflow mod- elling and analysis. Enterprise Information Systems, 2:101120, 2008.
13. H. A. Reijers. Design and Control of Workflow Processes. Business Process Management for the Service Industry, volume 2617 of LNCS. Springer-Verlag, Berlin, 2003.
14. I.T.P. Vanderfeesten, W.M.P. van der Aalst, H.A. Reijers. Modelling a product based workflow system in CPN Tools. In K. Jensen, Proc. of the 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 99-118, Aarhus, Denmark: University of Denmark, 2005.