基于Petri网的FMS建模及模型标准文件格式转化的研究  

FMS Modeling Based on Petri Net and Converting Model to Standard File Format

作　　者：张威[1] 米智伟[1] 韩正功[1] 

机构地区：[1]上海大学机电工程与自动化学院,上海200072

出　　处：《工业控制计算机》2013年第9期118-120,共3页Industrial Control Computer

摘　　要：首先对FMS的建模方法 Petri网理论进行简单的介绍,紧接着给出一个FMS加工案例,并通过一款Petri网建模软件ExSpect对其进行建模,并给出各库所、变迁的说明。随后简单介绍一下PNML的总体组成结构。最后将案例中部分工件的Petri网图形模型转化为PNML代码的形式。This paper simply introduces the FMS modeling method Petri net at first,then shows an example of FMS and uses the Petri net modeling software ExSpect for modeling,at the same time gives the specification of every place and transition.Sec- ond,this paper simply displays the total structure of PNML.Converting part of the workpiecePetri net graphical model of the FMS example to PNML code at last.

关 键 词：FMS 建模 PETRI网 PNML 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] TP391.1[自动化与计算机技术—计算机科学与技术]