Authors:
Lorena Rodrigues Bruno
and
Stéphane Julia
Affiliation:
Federal University of Uberlândia, Uberlândia-MG, Brazil
Keyword(s):
Time Petri Net, Symbolic Expression, Workflow Net, Linear Logic, Forward Propagation, Backward Propagation.
Abstract:
The model of a Workflow Management System should describe the time constraints of resources over the activities of the corresponding business process. In general, typical temporal phenomena include activity execution delays, limits to the occurrence of valid intervals over the activities, limits to valid intervals over resources (limit to resources life cycle), limits to duration of process execution, time distance between two activities, etc. In this study, a Workflow net model incremented with time intervals to describe the duration of activities and waiting times is presented. To define the execution of activities minimum and maximum intervals, a time constraint propagation mechanism based on the sequent calculus of Linear Logic and on symbolic dates is proposed.