From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

Mans, Ronny S.; Aalst, Wil M. P. van der; Russell, Nick; Bakker, Piet; Moleman, Arnold J.; Lassen, Kristian Bisgaard; Jørgensen, Jens Bæk

doi:10.1007/978-3-642-04856-2_2

Cited by 11 publications

(4 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The gynecological healthcare process, shown in Figure 3, has been validated by animation as described in [12]. When animating the process it was asked to users whether something was missing or should be added.…”

Section: Validationmentioning

confidence: 99%

Simulation to Analyze the Impact of a Schedule-aware Workflow Management System

et al. 2010

Self Cite

View full text Add to dashboard Cite

Today's workflow management systems (WfMSs) offer workitems to users through specific worklists. Users select the workitems they will perform without having a schedule in mind. However, in many environments work needs to be scheduled and performed at particular times. For example, in hospitals many workitems are linked to appointments, e.g., a doctor cannot perform surgery without reserving an operating theater and making sure that the patient is present and ready. One of the problems when applying workflow technology in such domains is the lack of calendar-based scheduling support. In collaboration with the Academic Medical Center (AMC), a large hospital in the Netherlands, we developed a schedule-aware WfMS that supports the seamless integration of unscheduled (flow) and scheduled (schedule) tasks. However, before deployment of the resultant system in the hospital, a seamless integration with AMC's running healthcare processes needs to be guaranteed. Therefore, for a large and complex healthcare process, we apply computer simulation to validate and to investigate, for different configurations of the system, the operational performance for a selected healthcare process when supported by the schedule-aware workflow management system. One of the important characteristics of our approach is the tight coupling between the simulation model and the actual implemented system. While performing simulation experiments, parts of the system may be simulated using CPN Tools while connected to the actual system components. Our simulation experiments demonstrate that the developed schedule-aware WfMS can be safely applied in the AMC hospital.

show abstract

Section: Validationmentioning

confidence: 99%

Simulation to Analyze the Impact of a Schedule-aware Workflow Management System

et al. 2010

Self Cite

View full text Add to dashboard Cite

show abstract

“…The quality of verification thereby strongly depends on the precision of the process‐to‐Petri‐net mapping . In particular, there is a trade‐off between effectivity and precision, as properties such as soundness or controllability are, in general, undecidable for fully specified processes, as their verification is linked to the halting problem . For this reason, more often than not, process data are omitted so that the used Petri net models merely represent the processes' control flow.…”

Section: Introductionmentioning

confidence: 99%

Static analysis and process model transformation for an advanced business process to Petri net mapping

2017

View full text Add to dashboard Cite

SummaryVerification of business processes typically relies on Petri net-based process models. While they allow for natural modeling and analysis of aspects such as parallelism and message exchange, such a process model is seldom complete and precise. This is mainly because the available techniques for deriving a Petri net model from the original model neglect process data in favor of feasible verification. In this paper, we present an approach for deriving more precise process models by leveraging a process-to-Petri-net compiler, which takes as input a business process and generates as output a Petri net model for the process. This can be subsequently used for verification. However, in contrast to a conventional compiler, our compiler's objective is not to create the most efficient code but rather to produce a most precise but still effectively verifiable Petri net-based process model.

show abstract

“…First of all this paper will give a brief overview over the family of interrelated tools that are used for Petri net-based AOSE (for other approaches compare [1] or [16]). Apart from the base set there are tools for designing and creating, as well as tools for debugging, monitoring, and testing 1 multi-agent applications.…”

Section: Introductionmentioning

confidence: 99%

A Monitoring Toolset for Paose

Cabac

Dörges

Rölke

2008

Applications and Theory of Petri Nets

View full text Add to dashboard Cite

Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see [10]) with the expressive power of Petri nets -reference nets [12] to be more precise. While AOSE is a powerful approach when it comes to designing and developing distributed (agent) applications, it does not address the problems specific to debugging, monitoring, and testing of these applications, i.e. no global state of the system and very dynamic operating conditions. To tackle these problems, two tools have been developed in the context of Paose, which are presented in this work. Firstly, this paper will give a short overview over the interrelated set of tools, which exists already and supports Petri net-based AOSE. The tools are centered around the Petri net-based multi-agent system development and runtime environment Renew / Mulan / Capa. Secondly, Mulan-Viewer and Mulan-Sniffer will be presented in more detail -two tools to address the issues encountered during debugging, monitoring, and testing agent applications. Both tools are first class members of the aforementioned family. The first tool, Mulan-Viewer, deals with the introspection of agents and agent behaviors, while it also offers rudimentary features for controlling the agent-system. The Mulan-Sniffer as the second tool places emphasis on tracing, visualizing, and analyzing communication between all parts of the multi-agent application and offers interfaces for more advanced methods of analysis, such as process mining. Both Mulan-Viewer and Mulan-Sniffer are realized as Renew plugins that can also be extended by other plugins.

show abstract

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

Cited by 11 publications

References 28 publications

Simulation to Analyze the Impact of a Schedule-aware Workflow Management System

Simulation to Analyze the Impact of a Schedule-aware Workflow Management System

Static analysis and process model transformation for an advanced business process to Petri net mapping

A Monitoring Toolset for Paose

Contact Info

Product

Resources

About