Automatic generation method of Petri net model for low level control of CIMS based on IDEF0

Junying Wang,Guanghong Duan
1997-01-01
Abstract:IDEF0 is widely used in the function modeling of CIMS, and Petri nets are suitable for modeling of discrete event dynamic systems. Their combination in the field of CIMS low level control is important to the low level control of CIMS, production schedule and dynamic simulation. 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.
What problem does this paper attempt to address?