/faculteit technologie management CPN 2005 Business Process Redesign at a Mental Healthcare Institute: A Coloured Petri Net Approach M.H. Jansen-Vullers H.A. Reijers

/faculteit technologie management CPN 2005 Goal of the project Testing applicability of CPN Tools for BPR Criteria: –Modeling of a business process –Simulation of a business process –Redesign (modeling and comparison of scenario’s) –Understandability/communication purposes

/faculteit technologie management CPN 2005 Modeling the control flow

/faculteit technologie management CPN 2005 Notifications Answer, record, store, print, check patient file

/faculteit technologie management CPN 2005 Subpage ‘Assign’

/faculteit technologie management CPN 2005 Subpage ‘Intake’

/faculteit technologie management CPN 2005 Modeling resources 5 types of resources Modeled as lists in fusion places Working part-time: resting and resets necessary

/faculteit technologie management CPN 2005 Modeling time triggers (1)

/faculteit technologie management CPN 2005 Modeling time triggers (2)

/faculteit technologie management CPN 2005 Simulation Stochastic duration of transitions –Uniform, beta and exponential distributions Smaller unit of time in the model –Precision due to rounding of real values in time stamps Measurements –Flow time –Service time

/faculteit technologie management CPN 2005 Generating cases Color PAT = product ID * ST * CT * filetype;

/faculteit technologie management CPN 2005 Application of Monitors fun obsBindElem (determine_treatment'close_intake (1, {i, ct, id, spv, st, doc, file, tl0})) = IntInf.toInt(time())-(st) fun obsBindElem (determine_treatment'close_intake (1, {i, ct, id, spv, st, doc, file, tl0})) = ct

/faculteit technologie management CPN 2005 Simulation results

/faculteit technologie management CPN 2005 Redesign (example)

/faculteit technologie management CPN 2005 Simulation results - comparison

/faculteit technologie management CPN 2005 Conclusion - applicability –Modeling of a business process YES, but hard work! –Simulation of a business process YES, and monitors very helpful! –Redesign (modeling and comparison of scenario’s) Yes –Understandability/communication purposes ?? Models very complex for process owners…

/faculteit technologie management CPN 2005 Tool comparison (1) Protos –Only 24 transactions, but no simulation Workflow tools (e.g., Staffware, FileNet) –No configuration possible for measurements –No notion of reliability Arena (Rockwell) –Focus on standard building blocks (modeling support) –Drawback: expressive power

/faculteit technologie management CPN 2005 Tool comparison (2) ExSpect and CPN Tools +CP nets: expressive power, mathematical foundation, analysis techniques, reliability of simulation results +Extensions possible in GCL or ML –Difficult to understand by business users –Weak in modeling support

/faculteit technologie management CPN 2005 Tool comparison (3) ExSpect +Scripts hide some of the details +Number of building blocks already available +Soundness checks in Woflan CPN Tools +Performance during simulations (interactive evaluation with process owners)

/faculteit technologie management CPN 2005 Conclusion… bridging the gap! Modeling control flow is ok Hiding some standard requirements for modeling business processes necessary –Handling of resources –Handling of batches –Modeling triggers –Calculating flow time and service time

/faculteit technologie management CPN 2005 Thank you for your attention ! Questions ??