基于IDEF0的CIMS底层控制Petri网模型的自动生成方法
The Automatic Generation Method of Petri Net Model for Low Level Control of CIMS Based on IDEF0
-
摘要: IDEF0广泛用于CIMS的功能说明,Petri网适用于对离散事件动态系统建模.在 CIMS中,两者结合起来,对于CIMS底层控制、生产调度、动态仿真都具有重要意义.文中研 究了IDEF0的形式化描述方法,讨论了有关概念,给出了由IDEF0生成Petri网的形式化方 法,并用一例说明其整体思想.Abstract: 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.
计量
- 文章访问数: 3244
- HTML全文浏览量: 91
- PDF下载量: 1049
- 被引次数: 0