Agent-oriented Single Token and Colored Transition Petri Net

作     者：隋杰 Yu Hua Jiao Jianbin GAO Guoan 

作者机构：Advanced Manufacturing Technology Center Harbin Institute of Technology Harbin 150001 P.R.China 

出 版 物：《High Technology Letters》 (高技术通讯（英文版）)

年 卷 期：2002年第8卷第1期

页      面：54-57页

核心收录：

学科分类：081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：theHighTechnologyResearchandDevelopmentProgramofChina 

主　　题：Petri net Agent Liveness Fairness Safety 

摘      要：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.