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

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

首先对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.