Interacting Workflow Nets for Workflow Process Re-Engineering

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Lomazova, Irina A.

Affiliations: Division of Software Engineering, State University Higher School of Economics, 33/5, ul. Kirpichnaya, Moscow, 105187, Russia. [email protected]

Note: [] Address for correspondence: Division of Software Engineering, State University Higher School of Economics, 33/5, ul. Kirpichnaya, Moscow, 105187, Russia

Abstract: 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.

Keywords: Workflow modeling, Petri nets, soundness, compositionality

DOI: 10.3233/FI-2010-275

Journal: Fundamenta Informaticae, vol. 101, no. 1-2, pp. 59-70, 2010