The Automatic Generation Method of Petri Net Model for Low Level Control of CIMS Based on IDEF0
基于IDEF0的CIMS底层控制Petri网模型的自动生成方法

IDEF0 is widely used in the function modeling of CIMS, and Petri nets are suitable for modeling of discrete event dynamic systems. It is of important significance for the low level control of CIMS, production schedule and dynamic simulation that boths are combined in the field of CIMS low level control. This paper describes the formal notation of IDEF0, discusses the relevant concepts, and gives the formal method of generating Petri net from IDEF0. At last, an example is given to illustrate the idea.