Synchronic Distance Based Workflow Logic Specification

At present, workflow technology has become a research hotspot in computer application domain, one of its major theoretical research areas is to build a formal model with which process definition, process execution and process analysis are well supported. Workflow process logic (workflow logic) specifies the causality among activities of process model. By dissecting common workflow patterns, synchronic distance of Petri net synchronic theory is used to specify workflow logic. As a start, the background of this paper, i.e. P/T system based hierarchical formal workflow model - procedure net, is briefly introduced, workflow logic is the basic layer of the hierarchical model. Then, the fact that synchronic distance has enough capability to specify workflow logic is proved, and the specification of well-defined workflow logic is given. Finally, Petri net representation of workflow logic is proposed based on the works above.