A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure

Oana Otilia Prisecaru

2009

Abstract

Interorganizational workflows represent a special type of workflows that involve more than one organization. In this paper, an interorganizational workflow will be modelled using a special class of nested Petri nets, dynamic interorganizational workflow nets (DIWF-nets). DIWF-nets can model interorganizational workflows in which some of the local workflows can be removed, during the execution of the workflow, due to exceptional situations. Our approach permits a clear distinction between the component workflows and the communication structure. The paper defines a notion of behavioural correctness (soundness) and proves this property is decidable for DIWF-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. Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Information and Management, vol.37, no.2, pp.6775, 2000.
  3. W. M. P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. From Public Views to Private Views - Correctness-by-Design for Services. In Proc. of WS-FM 2007, Brisbane, Australia, September 28-29, 2007,vol. 4937 of LNCS, pp. 139-153, 2008. Springer-Verlag.
  4. W.M.P. van der Aalst and M. Weske. The P2P approach to Interorganizational Workflows Proc. of CAiSE'01, vol. 2068 of LNCS, pp. 140156. Springer-Verlag, Berlin, 2001.
  5. W.M.P. van der Aalst, D. Moldt, R. Valk and F. Wienberg. Enacting Interorganizational Workflows Using Nets in Nets. In Proc. of Workflow Management 7899, pp. 117-136, 1999.
  6. G. Kramler , W. Retschitzegger. Specification of Interorganizational Workflows - A Comparison of Approaches. Institute of Software Technology and Interactive Systems, Business Informatics Group, Vienna University of Technology, 2002. Technical Report, 08/02.
  7. A. Finkel and Ph. Schnoebelen. Well-Structured Transition Systems Everywhere!. Theoretical Computer Science 256(1-2), pp. 63-92, 2001.
  8. N. Lohmann, O. Kopp, F. Leymann, and W. Reisig. Analyzing BPEL4Chor: Verification and Participant Synthesis. Proc. of WS-FM 2007 Brisbane, Australia, September 28-29, 2007, vol. 4937 of LNCS, pp. 46-60, 2008. Springer-Verlag.
  9. I.A. Lomazova: Nested Petri nets: modeling and analysis of distributed systems with object structure. Nauchny Mir, Moscow, 2004 (in Russian).
  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. O. Prisecaru and T.Jucan. Interorganizational Workflow Nets: a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows. In: Proc. of EOMAS-2008, Montpellier, France, June 16-15, 2008, CEUR Workshop Proceedings, ISSN 1613-0073.
  12. W. Reisig. Petri Nets. An Introduction. In EATCSMonographs on Theoretical Computer Science, Springer-Verlag, 1985.
Download


Paper Citation


in Harvard Style

Otilia Prisecaru O. (2009). A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure . In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009) ISBN 978-989-8111-90-6, pages 23-32. DOI: 10.5220/0002200700230032


in Bibtex Style

@conference{msvveis09,
author={Oana Otilia Prisecaru},
title={A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure},
booktitle={Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)},
year={2009},
pages={23-32},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002200700230032},
isbn={978-989-8111-90-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)
TI - A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure
SN - 978-989-8111-90-6
AU - Otilia Prisecaru O.
PY - 2009
SP - 23
EP - 32
DO - 10.5220/0002200700230032