We present a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identification which preserve both soundness and response time distribution. Moreover we outline an approach to model the dynamic behavior of business processes by exploiting the power of the class of non-Markovian stochastic Petri net models.
|Title of host publication||Proceedings 2002 IEEE International Conference on Systems, Man and Cybernetics (SMC 2002, Yasmine Hammamet, Turkey, October 6-9, 2002)|
|Place of Publication||Piscataway NJ|
|Publisher||Institute of Electrical and Electronics Engineers|
|Publication status||Published - 2002|