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

论文摘要

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

论文目录

文章来源

类型: 期刊论文

作者: 邹佳霖,范宝德,韩兆玉

关键词: 执行制造系统,水产品加工,形式化建模

来源: 烟台大学学报(自然科学与工程版) 2019年03期

年度: 2019

分类: 工程科技Ⅱ辑,工程科技Ⅰ辑

专业: 轻工业手工业

单位: 烟台大学计算机与控制工程学院

基金: 国家重点研发计划专项课题(2017YFB1400105)

分类号: TS254.4

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

页码: 298-306

总页数: 9

文件大小: 736K

下载量: 132

相关论文文献

• [1].面向新兴系统的形式化建模与验证方法专题前言[J]. 软件学报 2020(08)
• [2].多应用智能卡形式化建模研究[J]. 电脑知识与技术 2014(29)
• [3].基于需求的形式化建模与验证方法研究[J]. 计算机技术与发展 2017(06)
• [4].MAS应用域本体的形式化建模及变换[J]. 浙江树人大学学报(自然科学版) 2013(02)
• [5].基于MAS的复杂网络安全形式化建模[J]. 计算机科学 2015(03)
• [6].基于语义的产品功能形式化建模[J]. 计算机集成制造系统 2011(06)
• [7].基于CPN的UML2.0形式化建模[J]. 青岛大学学报(工程技术版) 2011(01)
• [8].SpaceWire协议的形式化建模与概率分析[J]. 小型微型计算机系统 2013(09)
• [9].基于CPN的联邦概念模型形式化建模与验证(英文)[J]. 系统仿真学报 2012(07)
• [10].UML包与B结合的形式化建模研究[J]. 怀化学院学报 2010(11)
• [11].一种可扩展的数字权限表达语言的形式化建模及分析[J]. 武汉大学学报(理学版) 2013(01)
• [12].软件形式化建模方法探析[J]. 河北软件职业技术学院学报 2016(02)
• [13].CTCT-4级安全通信协议的形式化建模与验证[J]. 计算机工程与应用 2014(04)
• [14].形式化建模运行在NAND闪存上的DFTL算法[J]. 小型微型计算机系统 2018(01)
• [15].基于Pi验算的信息化系统流程研究与设计[J]. 电脑编程技巧与维护 2018(08)
• [16].加工系统的加工能力形式化建模方法[J]. 西安交通大学学报 2011(11)
• [17].面向需求的安全关键系统形式化建模与验证方法研究[J]. 计算机工程与科学 2019(08)
• [18].双控云存储集群平台的形式化建模[J]. 电脑知识与技术 2018(28)
• [19].基于时间STM的软件形式化建模与验证方法[J]. 软件学报 2015(02)
• [20].基于Event-B的中断管理需求和设计形式化建模与验证方法[J]. 空间控制技术与应用 2017(03)
• [21].BT协议的形式化建模与测试生成[J]. 小型微型计算机系统 2011(04)
• [22].基于Coq的Paxos形式化建模与验证[J]. 软件学报 2020(08)
• [23].间歇式化工形式化建模与顺序控制器设计[J]. 上海交通大学学报 2012(12)
• [24].复杂信道环境下GSM-R形式化建模分析与研究[J]. 兰州交通大学学报 2010(04)
• [25].BT协议的形式化建模与一致性测试的测试序列生成[J]. 中国教育网络 2009(Z1)
• [26].平面并联机构的形式化建模与验证[J]. 小型微型计算机系统 2020(05)
• [27].反导作战预案形式化建模研究[J]. 现代防御技术 2013(01)
• [28].铁路信号安全关键软件形式化建模[J]. 铁道学报 2017(09)
• [29].机载分区操作系统形式化建模及验证研究[J]. 西安航空学院学报 2018(05)
• [30].铁路信号联锁逻辑形式化建模研究[J]. 科学技术创新 2018(18)

标签：执行制造系统论文;  水产品加工论文;  形式化建模论文;