Adhoc Workflow Problems and Solutions英文资料.pdfVIP

Ad-hoc Workflow: Problems and Solutions M. Voorhoeve and W. van der Aalst Dept. of Mathematics and Computing Science Eindhoven University of Technology Eindhoven, The Netherlands, 5600MB Abstract simple and easily explained to non-specialists. We very Thepaper introduces ad-hoc workflow, addingpexibil- briefly describe the Petri net concepts that are of importance ity to traditional workjlow. A problem that stemsfrom the to this paper. addedjexibility is the need to support end-users in the se- A net consists of nodes that are connected through di- lection and modification of the processfor a specific case. rected arcs. There are two kinds of nodes: transitions (de- Wepropose a class of Petri nets to describe workflow pro- picted as rectangles) and places (depicted as circles); arcs cesses,featuring safeness and guaranteed termination. A only connect nodes of different kinds. A state or marking of set of transformation rules with sufJicient power for this a net is a bag (multiset) of tokens (depicted as dots). Each class is given that can be implemented in a graphical ed- token belongs to a place in the net. Markings are related to itor A second problem is monitoring the work being done. one another by the successor relation; given a marking S, a The solution here is to approximate the states of the cases transition t may$re, leading to a new marking S’. This new being treated by the states of a few standard cases. marking is obtained by removing a token along each incom- ing arc oft (