The Analysis of Resource Constrained Workflows using Petri Nets

Oana Otilia Prisecaru

2010

Abstract

A workflow describes a complex process that takes place inside an organization. A workflow can be structured into several perspectives. In order to model both the process and the resouce perspective of workflows, a Petri net model based on nested Petri nets has been proposed: resource workflow nets (RWF-nets). Unlike other models, RWF-nets permit a clear distinction between the perspectives, modelling efficiently their interaction, and ensure the flexibility of the system. A case (or workflow instance) is the subject of the operations in the workflow. RWF-nets permit the handling of one case at a time. This paper extends the definition of RWF-nets in order to allow the handling of multiple cases at a time, defines a notion of behavioural correctness for RWF-nets, k-soundness, and proves the decideability of this property for a special class of RWF-nets.

References

  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, InformatikBerichte der Humboldt-Universitat zu Berlin, Nr. 170, September 2004.
  5. K. Hee, N. Sidorova and M. Voorhoeve: Generalised Soundness of Workflow Nets Is Decidable. 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.
Download


Paper Citation


in Harvard Style

Otilia Prisecaru O. (2010). The Analysis of Resource Constrained Workflows using Petri Nets . In Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2010) ISBN 978-989-8425-12-6, pages 50-59. DOI: 10.5220/0003014900500059


in Bibtex Style

@conference{msvveis10,
author={Oana Otilia Prisecaru},
title={The Analysis of Resource Constrained Workflows using Petri Nets},
booktitle={Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2010)},
year={2010},
pages={50-59},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003014900500059},
isbn={978-989-8425-12-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2010)
TI - The Analysis of Resource Constrained Workflows using Petri Nets
SN - 978-989-8425-12-6
AU - Otilia Prisecaru O.
PY - 2010
SP - 50
EP - 59
DO - 10.5220/0003014900500059