Agent-Oriented Boolean Token and Colored Transition Petri Net for Workflow Management

Petri nets are a kind of effective graphic modeling tool. The agent technology is combined with Petri nets in order to enhance flexibility and extendibility. The agent-oriented Boolean token and colored transition Petri nets is proposed. Some characteristics such as liveness, fairness and safety are analyzed. Finally, an example in workflow management system of mould agile manufacturing is given to illustrate the use of it.