In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 1. IEEE Computer Society Press, October 2002.
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identification which preserves 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.