Analyzing Real-Time Predictability of Business Processes Based on Petri Nets

Abstract

The real-time property is an important indicator of trustworthy business processes. Guaranteeing the real-time predictability is pivotal to ensure the efficient execution of business processes. For the real-time requirements of business processes, a method of modeling and analyzing business processes called Timed Business Process Net (TBPN) is proposed. It is a combination of business process modeled by Petri nets and the time factor on places. A real-time predictability analysis method is proposed. Using the proposed methods, we can provide an effective way to guarantee the real-time predictability of business processes. © Springer-Verlag Berlin Heidelberg 2013.