Petri net is a kind of effective graphic modeling tool. The agent technology is combined with petri net in order to enhance flexibility and extendibility, and the agent-oriented single token and colored transition pet...Petri net is a kind of effective graphic modeling tool. The agent technology is combined with petri net in order to enhance flexibility and extendibility, and the agent-oriented single token and colored transition petri net is proposed. Some characteristics such as liveness, fairness and safety are analyzed. Finally, an example in mould agile manufacturing is given to illustrate the use of it.展开更多
文摘Petri net is a kind of effective graphic modeling tool. The agent technology is combined with petri net in order to enhance flexibility and extendibility, and the agent-oriented single token and colored transition petri net is proposed. Some characteristics such as liveness, fairness and safety are analyzed. Finally, an example in mould agile manufacturing is given to illustrate the use of it.