Despite their wide range of applications, workflow systems still suffer from lack of an agreed
and standard modelling technique. It is a motivating research area and some researchers …

Workflow management has been a research area that attracted significant interest in the last
decade. In spite of this, little consensus has been reached as to what the essential …

The analysis of the correctness and rationality of a workflow model plays an important role in
the research of workflow techniques and successful implementation of workflow …

Abstract Information systems technology, computer-supported cooperative work practice,
and organizational modeling and planning theories have evolved with only accidental …

Over the past decade, the ubiquity of business processes and their need for ongoing
management in the same manner as other corporate assets has been recognized through …

Workflow Management Systems (WfMSs) are used to support the modelling, analysis, and
enactment of business processes. The key benefits WfMSs seek to bring to an organisation …

In this paper a framework for the conceptual modelling of organizational contexts is provided
and it is embodied into an extension of the TOSCA organizational handbook. The context of …

Several authors propose their own technique based on Petri Nets to model workflow
processes. Most of them recognise the adaptability problem inherent to workflows, viz. the …

The advantages of today's processmanagement, such as efficiency and quality aspects, are
achieved by enforcing detailed models of workprocesses. However, real world processes …

There has been relatively little work on formal analysis of expressiveness and verification of
properties in clinical workflow. In this paper we discuss Coloured Petri nets (CPNs) as a …