Resource workflow nets: an approach to workflow modelling and analysis

Authors:
Oana Otilia Prisecaru
Affiliations:
Faculty of Computer Science, “Al. I. Cuza” University of Iasi, Iasi, Romania
Venue:
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Year:
2008

Citing 6
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Nested petri nets - a formalism for specification and verification of multi-agent distributed systems

Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions

Journal of Integrated Design & Process Science
Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance

Journal of Management Information Systems
Workflow resource patterns: identification, representation and tool support

CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

A workflow is the automation of a business process that takes place inside one organisation. Workflow management deals with controlling, monitoring, optimising and supporting workflows. While most of the formal approaches to workflow modelling consider only the process perspective, we propose a Petri net model which integrates both the process and the resource perspective. This article introduces a special class of nested Petri nets, resource workflow nets (RWFN-nets), which unifies the two perspectives into a single model. Unlike other models, RWFN-nets permit a clear distinction between the perspectives, modelling efficiently their interaction and ensure the flexibility of the system. This article also defines a notion of behavioural correctness for RWFN-nets, soundness, and proves that this property is decidable.