For the modeling of large and complex systems of business processes, a flow oriented, graphical modeling framework based on Petri nets has emerged taking the potentials of a qualitative and a quantitative analysis based on one and the same model. For the quantitative analysis of business process models (BPMs) representing realistically sized enterprise organizations, traditional evaluation techniques (like discrete event simulation) tend to become practically intractable. To be able to cope with very complex models, therefore, the author has developed a distributed execution mechanism based on the time warp distributed simulation protocol. A corresponding software tool was implemented based on the MPI communication library, thus portable to almost any distributed or parallel computing platform. In case studies performed on a 134 node Meiko CS-2 multiprocessor investigating real and hypothetical business or organizations, this work demonstrates that parallel/distributed simulation techniques make the execution of very large models feasible: in situations where the simulation model has reached a complexity prohibitive to an execution on a single processor computer (e.g. due to memory constraints), the decomposition into smaller submodels to be executed on a parallel processor or a network of workstations remains the only means to get the simulation done. As such, a whole new class of (complex) BPM simulations becomes practically tractable, and traditional simulations can be accelerated dramatically. As an example, a BPM of a document flow system comprising 64 offices with an average of 1000 documents per office gains a 250 to 300 fold acceleration of the overall execution speed using 32 processors of the CS-2.
[1]
Giovanni Chiola,et al.
Exploiting timed Petri net properties for distributed simulation partitioning
,
1993,
[1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.
[2]
A. Ferscha.
Qualitative and quantitative analysis of business workflows using generalized stochastic Petri nets
,
1995
.
[3]
Clarence A. Ellis,et al.
Modeling and Enactment of Workflow Systems
,
1993,
Application and Theory of Petri Nets.
[4]
Anatol W. Holt.
Coordination technology and Petri nets
,
1985,
Applications and Theory in Petri Nets.
[5]
Alois Ferscha.
Concurrent execution of timed Petri nets
,
1994,
Proceedings of Winter Simulation Conference.
[6]
Satish K. Tripathi,et al.
Parallel and distributed simulation of discrete event systems
,
1994
.
[7]
W.M.P. van der Aalst,et al.
Business process redesign: a Petri-net-based approach
,
1996
.
[8]
Wil M. P. van der Aalst,et al.
Verification of Workflow Nets
,
1997,
ICATPN.
[9]
E. Munoko,et al.
Computers in Industry
,
1963,
Nature.
[10]
R. M. Fujimoto,et al.
Parallel discrete event simulation
,
1989,
WSC '89.
[11]
Wil M.P. van der Aalst,et al.
Three good reasons for using a Petri-net-based workflow management system
,
1996
.
[12]
Tadao Murata,et al.
Petri nets: Properties, analysis and applications
,
1989,
Proc. IEEE.
[13]
Alois Ferscha.
Adapive Model Parallelism Exploitation in Parallel Simulation
,
1995,
EUROSIM.