The Transform Method from the Concept Model to the Petri Net Model  

作　　者：蒋昌俊 

出　　处：《High Technology Letters》1997年第1期42-45,共4页高技术通讯（英文版）

摘　　要：A concept model for the specification of the system is presented in this paper. It includes power graph,resource graph and restriction set. The transformation algorithms from concept model to Petri net model are given respectively. The method is illustrated by an example of the discrete manufacturing system.A concept model for the specification of the system is presented in this paper. It includes power graph,resource graph and restriction set. The transformation algorithms from concept model to Petri net model are given respectively. The method is illustrated by an example of the discrete manufacturing system.

关 键 词：DISCRETE CONCURRENT system ESTABLISHMENT MODEL PETRI NET Concept MODEL specification 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]