{'fraction_non_alphanumeric': 0.017605633802816902, 'fraction_numerical': 0.0, 'mean_word_length': 5.511450381679389, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets

: The model of a Workﬂow 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 Workﬂow net model incremented with time intervals to describe the duration of activities and waiting times is presented. To deﬁne 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.