In ProM, we support the step-by-step redesign of process models.
This site provides an overview of the plug-ins in ProM that can contribute to the creation of these redesigns and the evaluation of their performance.
With the SHARE system, an environment to test and play with the tool kit is provided. This demo environment includes the tool, a tutorial, a screencast and several input models for the tool. A download of the tool is not necessary, one only has to register.
The following tutorial describes the generation of the input model for the redesign, i.e., a HLPetriNet, and the use of the redesign analysis plugin for the creation and evaluation of process alternatives.
Plug-insFor the generation of realistic process redesigns we use a high-level process. This includes the control flow and additional information like data and resources in the generation of a redesign. The created redesigns are evaluated with simulation. The Redesign Analysis plugin supports the generation and evaluation of process redesigns.
- Redesign Analysis - generates a redesign from a HLPetriNet and evaluates its performance.
The following plug-ins either deal with, or produce, high-level structures that can be used to generate and evaluate redesigns.
Conversion- HLYAWL to HLPetriNet - converts a HLYAWL model to a HLPetri net while preserving the high-level information
- HLProtos to HLPetriNet - converts a HLProtos model to a HLPetri net while preserving the high-level information
- HLPetriNet to HLProtos - converts a HLPetri net to a HLProtos model while preserving the high-level information
- HLProtos to Protos - converts a HLProtos model to a Protos model while preserving the high-level information
- View/Edit high-level information - visualizes and edits high-level information for any high-level process like a HLPetriNet
- CPN Export - generates a CPN-based simulation model from a HLPetriNet
More details and more plugins related to high-level structures are given in the simulation models section.
-
[1]The Creation of Process Redesigns by Selecting, Transforming and Replacing Process Parts
M. Netjes, H.A. Reijers, and W.M.P. van der Aalst.
BETA Working Paper Series, WP240, Eindhoven University of Technology, Eindhoven, 2008. -
[2]On the Formal Generation of Process Redesign
M. Netjes, H.A. Reijers, and W.M.P. van der Aalst
In: D. Ardagna et al. (eds.). BPM 2008 Workshops, Lecture Notes in Business Information Processing 17, pp.217-228. Springer Verlag, Berlin, 2009.