一种基于同步合成Petri网的FMS建模方法.pdfVIP

　2001 年 2 月 系统工程理论与实践 第 2 期　 文章编号:(2001) 一种基于同步合成 Petri 网的FM S 建模方法 王化冰 ( 中国科学院自动化研究所, 北京 100080) 摘要: 　提出了一种利用 Petri 网为FM S 建模的方法, 通过对 FM S 加工过程的分析, 将系统物理对 象划分为工件类和资源类, 给出了对象子网和对象子网同步合成的概念 为工件类和资源类分别建立 了对象子网, 通过对象子网的同步合成得到系统的 Petri 网模型 关键词: 　Petir 网; 柔性制造系统; 同步合成 中图分类号: 　 233, 157. 5　　　　 O O A Petri N et Synch ronou s Syn thesis M ethod fo r M odelling F lex ib le M anufactu ring System s W AN G H ua b ing ( Institute of A utom ation , Ch inese A cadem y of Sciences, Beijing 100080) Abstract　A m ethod that models flexible m anufacturing system s by using Petri nets is p resented in th is paper. T h is m ethod classifies the FM S’physical components into part . . class and resource class T he object sub nets of the tw o classes are given T he Petri net model of the w ho le system is obtained th rough the synch ronous synthesis of all of the . object sub nets Keywords　petri nets; FM S; synch ronous synthesis 1　引言 Petri 网是由德国的Carl A dam Petri 教授于 1962 年在他的博士论文中提出的一种网络图理论 作为 一 种 图 形 和 数 学 建 模 工 具, Petri 网 既 能 够 对 并 行 (parallelism ) 、并 发 ( concurrency ) 、同 步 ( synch ronization) 、资源分享(resource sharing) 等特性建立模型并使之形象化, 又能够对系统的动态性质 ( ) 有界性、安全性、活性、公平性、可达性、可逆性、不变量等 等进行分析, 因此已被成功地应用于离散事件 系统(D iscrete Event System s- D ES) 的建模、分析和控制[1, 2 ] 是一类极其复杂的离散事件动态系统( ) , 与连续过程系统相比较, 的变化过程是在时 FM S