虽然时序图模型能够用于研究集束型装备的生产率问题,但该模型不能描述设备的动态行为特征, R10938J50特别是不能分析设备的定性特性。Petri网是制造系统建模及性能评估的有力工具。早期的Petri网主要应用于面向消息处理系统。近年来,PctⅡ网的理论不断地充实

和完善,Pctri网己经成为离散事件系统建模和分析的有效方法,一大批学者与工程技术人员致力于Petri网的理论与应用研究。

   Petri网模型基础理论

   Pctri网不仅具有可视化图形的表示方法,还具有严格的数学基础,是表达离散事件动态系统的静态结构和动态变化的模型。它是一种结构化的描述工具,可以描述异步、同步、并行逻辑关系,既能够分析系统运行性能(如制造系统设备使用率、生产率、可靠性

等),又可以用于检查与防止诸如自动系统的死锁、堆栈溢出、资源冲突等不期望的系统行为。Pctri网能够直接从可视化的模型产生监控控制编码,进行系统实时控制,可用于离散事件动态系统的仿真,从而对系统进行分析与评估。PctⅡ网可以通过结构变化描述系统的变化,支持形式化数学描述与分析。Pc廿i网模型还可以转化为其他的模型,如马尔科夫链等。正是由于上述特点,Pctri网已经成为描述、分析和控制离散事件动态系统最有效和 应用最广泛的方法。