标题：基于Petri网的FMS建模及模型标准文件格式转化的研究
作者：张威 米智伟 韩正功
作者单位：上海大学机电工程与自动化学院，上海 200072
关键字：FMS，建模，Petri网，PNML
摘要：首先对FMS的建模方法Petri网理论进行简单的介绍，紧接着给出一个FMS加工案例，并通过一款Petri网建模软件ExSpect对其进行建模，并给出各库所、变迁的说明。随后简单介绍一下PNML的总体组成结构。最后将案例中部分工件的Petri网图形模型转化为PNML代码的形式。