基于Petri网的MES系统形式化建模 |
| |
作者单位: | ;1.烟台大学计算机与控制工程学院 |
| |
摘 要: | 针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.
|
关 键 词: | Petri网 执行制造系统 水产品加工 形式化建模 |
Formal Modeling of MES System Based on Petri Net |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 等数据库收录! |
|