پژوهش و استفاده از زمان مدل جریان کاری بر اساس محدودیت زمان بندی شبکه پتری

In order to visualize time information of the complex workflow system, time parameter concept is firstly introduced to workflow model, and then a new modeling and time parameters calculating method for the practical business process system are proposed based on timing constraint Petri Nets(TCPN). Finally, an insurance claim process is modeled based on TCPN workflow model, which suggests that it is effective and consistent with the specification of the system requirement.

Workflow management technologies have attracted great attention from researchers around the world in recent years. Time information modeling, verification and analysis are the most basic and core problems in Workflow Management System (WFMS)[1]. Time violations in WFMS can often lead to some negative influences such as increasing cost, unexpected delays and resource wasting, or even cause catastrophic breakdowns within business processes. A workflow model is used to capture a process abstraction and includes an activity structure and information exchange among activities in a workflow, exception handling, activity duration, and priorityattributes[2]. However, there exists no standard for the temporal behavior of workflow modeling. In time modeling of workflow processes, Ling and Schmidt[3] provided a time interval extension of WF-nets for the purpose of modeling and analyzing time constraint of workflow systems. They emphasized on checking the soundness of workflow process definitions, and endowed an interval for each transition. Eder et al. determined timing inconsistencies at model time and found the optimal workflow execution resources at run time using the time information generated[4]. Marjanovic assigned a time interval to individual workflow tasks as duration constraints, checked various temporal requirements and inconsistencies of workflow systems by using their proposed verification algorithms [5, 6]. However, Most of the existing work on time Petri nets have focused on using random variables to describe uncertainty of the workflow time information, or just introduces local time concept, and moreover, most of them do not present the calculation method for the token’s time parameters. Therefore, a time constrained workflow model for describing time information of the complex workflow system is presented, and the calculation

In this paper, time parameter concept is firstly introduced to workflow model, and the analysis on time performance of workflow is one of the most important research topics. Next, a new modelling method for time information of the complex workflow system is proposed based on TCPN. Finally, an example of insurance claim is used to verify the correctness and validity of the proposed approach. It should be mentioned that the proposed modelling method has rich semantics of time and important reference value in enriching the theory of distributed workflow modelling in WFMS, which can be also widely used and applied to the development of workflow management software.