李任江,　曹　阳

(长春工业大学 机电工程学院， 吉林 长春　130012)



基于赋时有色Petri网离散制造过程建模与仿真

李任江,曹阳

(长春工业大学 机电工程学院， 吉林 长春130012)

摘要：针对解决离散制造系统控制过程中可能出现的冲突、死锁等问题，将赋时Petri网和着色Petri网两者相结合，根据柔性制造系统的元素建立了拥有4个CNC机床加工中心，4条工件生产线的赋时着色Petri网模型。仿真结果表明，该方法能有效解决冲突、死锁等问题。

关键词：离散系统; 柔性制造; 赋时有色Petri网

0引言

半导体加工系统是典型的离散制造系统[1]，离散事件动态系统(Discrete Event Dynamic System, DEDS)是指事件瞬时发生，使得系统的状态瞬间转移到另一个状态。其中在制造业范围内，以柔性制造系统(Flexible Manufacturer System, FMS)为离散动态事件系统的典型代表。常见半导体制造系统的结构包含半导体加工中心，在设备之间传输工件的自动导向小车(AGV)以及计算机信息控制单元等。

Petri网技术是由德国Petri博士于1962年在其博士论文里提出的一种系统描述和分析工具，Petri网最大的优势是具有直观的图形表示和严谨的数学模型支持[2]。Petri网技术经过几十年的成长，理论体系日趋完善，尤其在大型复杂的系统中，用其表示系统中的并行、异步、冲突等关系，并以托肯表述其中对象的动态关系。由于基本Petri网的表达能力有限，在基本Petri网理论之上又陆续出现了高级Petri网，如时间Petri网、着色Petri网、随机Petri网等。复杂的FMS中如果系统中的元素安排不合理容易出现冲突、死锁等现象，会严重影响整个系统的效率。……