Formalization and Verification of the “Waits" in Business Processes

Abstract

While traditional business process modeling focuses on systematic and precise description of task execution sequences along with the information on related resources and organizations, limited attention is paid to temporal properties, such as task execution delay and deadlines. However, actual business processes include various asynchronous waits which form waiting lines for each task, and these processes show the aspect of ``queuing networks". This paper proposes a Colored Petri net (CPN) based approach to integrate the above function oriented business processes with the temporal and probabilistic queueing networks, which makes it possible to model and evaluate the business processes from functional and temporal viewpoints simultaneously.