基于Petri网的MES系统形式化建模

邹佳霖; 范宝德; 韩兆玉

doi:10.13951/j.cnki.37-1213/n.2019.03.016

烟台大学学报（自然科学与工程版） ›› 2019, Vol. 32 ›› Issue (3) : 298 -306. DOI: 10.13951/j.cnki.37-1213/n.2019.03.016

基于Petri网的MES系统形式化建模

邹佳霖, 范宝德, 韩兆玉

作者信息 +

Author information +

文章历史 +

摘要

针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.