A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows

Oana Prisecaru

2008

Abstract

Interorganizational workflows represent a technique that offers companies a solution for managing business processes that involve more than one organization. In this paper, an interorganizational workflow will be modelled using a special class of nested Petri nets, resource constrained interorganizational workflow nets. This approach will allow the specification of the participating workflows and of the communication structure between them, permitting a clear distinction between these components. In our model, the resources from one workflow can be represented explicitly and shared with other component workflows.

References

  1. W. M. P. van der Aalst: Verification 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.
  2. W.M.P. van der Aalst: Three Good Reasons for Using a Petri-net-based Workflow Management System. Wakayama et al., editors. Information and Process Integration in Enterprises: Rethinking Documents. Volume 428 of The Kluwer International Series in Engineering and Computer Science. Boston, Kluwer Academic Publicers, pp.161-182, 1998.
  3. W.M.P. van der Aalst. Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Information and Management, vol.37, no.2, pp.6775, 2000.
  4. W.M.P. van der Aalst and M. Weske. The P2P approach to Interorganizational Workflows. In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science, pages 140156. Springer-Verlag, Berlin, 2001.
  5. R.W.H. Bons, R.M. Lee, and R.W. Wagenaar. Designing trustworthy interorganizational trade procedures for open electronic commerce. International Journal of Electronic Commerce, 2(3): pp. 6183, 1998.
  6. T.L. Casavant, J.G. Kuhl. A Communicating Finite Automata Approach to Modeling Distributed Computation and its Application to Distributed Decision-Making. IEEE trans. on computers, May 1990,Vol. 39, No. 5, pp. 628-639.
  7. Jiang Guo. Using Category Theory to Model Software Component Dependencies. Proc. of 9th Annual IEEE Intl. Conf. and Workshop on the Engineering of Computer-Based Systems(ECBS 2002) ,Lund, Sweden, IEEE Computer Society Press, April 08 - 11, 2002, pp. 185-194.
  8. G. Kramler , W. Retschitzegger. Specification of Interorganizational Workflows - A Comparison of Approaches. Vienna, Austria: Institute of Software Technology and Interactive Systems, Business Informatics Group, Vienna University of Technology, 2002. Technical Report, 08/02.
  9. 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.
  10. I.A. Lomazova: Nested Petri Nets - a Formalism for Specification and Verification of Multi - Agent Distributed Systems. Fundamenta Informaticae 43 pp. 195-214, 2000.
  11. M. zur Mühlen. Resource modeling in workflow applications. Proceedings of the 1999 Workflow Management Conference (November 1999), pp. 137-153, 1999.
  12. M. Netjes, W.M.P. van der Aalst, H.A. Reijers. Analysis of resource-constrained processes with colored petri nets. In K. Jensen, Proceedings of the 6th Workshop and Tutorial on Practical Use of Coloured Petri nets and the CPN Tools (CPN'05), pp. 251-265, 2005
  13. O. Prisecaru: Resource Workflow Nets:a Petri Net Formalism for Workflow Modelling. In Proc. of MSVVEIS 2007, pp. 11-21, Portugal, 12-13 June 2007
  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, Proceedings 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.
  15. H. M. W. Verbeek, A. Hirnschall, Wil M. P. van der Aalst. XRL/Flower: Supporting Interorganizational Workflows Using XML/Petri-Net Technology. Proceedings of Web Services, E-Business, and the Semantic Web, WES 2002, Toronto, Canada, May 2002,pp. 93-108.
Download


Paper Citation


in Harvard Style

Prisecaru O. (2008). A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows . In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008) ISBN 978-989-8111-43-2, pages 29-38. DOI: 10.5220/0001736700290038


in Bibtex Style

@conference{msvveis08,
author={Oana Prisecaru},
title={A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows},
booktitle={Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)},
year={2008},
pages={29-38},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001736700290038},
isbn={978-989-8111-43-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)
TI - A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows
SN - 978-989-8111-43-2
AU - Prisecaru O.
PY - 2008
SP - 29
EP - 38
DO - 10.5220/0001736700290038