Interacting Workflow Nets for Workflow Process Re-Engineering

• Autorzy: Lomazova, I.A.
• Języki publikacji: EN

Abstrakty

EN

In this work we consider modeling of workflow systems with Petri nets. To increase flexibility and give tools for workflow models re-engineering we extend the formalism of workflow nets by considering systems of interacting nets. Then we study soundness – the main correctness property of workflow processes – and show, that for a special class of structured workflow system soundness can be proved in compositional way.

Słowa kluczowe

EN

workflow modeling; Petri net; soundness; compositionality

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2010
• Tom: Vol. 101, nr 1/2
• Strony: 59-70
• Opis fizyczny: Bibliogr. 9 poz., wykr.

Twórcy

autor

Lomazova, I.A.

• Division of Software Engineering, State University Higher School of Economics, 33/5, ul. Kirpichnaya, Moscow, 105187, Russia,

Bibliografia

• [1] van der Aalst W., van Hee. K.: Workflow Management: Models, Methods and Systems MIT Press,2002.
• [2] Cheng A., Esparza J., and Palsberg J.: Complexity results for 1-safe nets. In LNCS 761, 326-337. 1993.
• [3] van Hee K., Sidorova N. and VoorhoeveM.: Generalized soundness of workflow nets is decidable. In LNCS 3099, 197-216. 2004
• [4] van Hee K., Lomazova I. A., Oanea O., Serebrenik A., Sidorova N. and Voorhoeve M.: Nested Nets for Adaptive Systems. In LNCS 4024, 241-260. 2006.
• [5] van Hee K., Lomazova I. A., Oanea O., Serebrenik A., Sidorova N. and VoorhoeveM.: Checking Properties of AdaptiveWorkflow Nets. In Concurrency, Specification and Programming. Vol.1. Informatik-Bericht 206, 92-103. Humboldt-Universitat zu Berlin. Berlin, 2006.
• [6] Lomazova I.A.: Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. Fundamenta Informaticae, Vol. 60, No 1-4, 225-235. 2004.
• [7] Lomazova I. A.: Nested Petri nets for adaptive process modeling. Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, LNCS 4800, 413-426. 2008.
• [8] Prisecaru O., Jucan T.: Interorganizational workflow nets; a Petri net based approach for modeling and analyzing interorganizational workflows. Proc. of the 4th InternationalWorkshop on Enterprise & Organizational Modeling and Simulation (EOMAS-2008), Montpellier, France, June 16-17, 2008, CEUR Workshop Proceedings.
• [9] Rajabi B.A., Lee S.P.: Change management in buisiness process modeling based on object oriented Petri nets. International Journal of Buisiness, Economics, Finance and Management Sciences, 1:1:72-77. 2009.