基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.
推荐文章
基于对象知识网的企业信息系统形式化表达研究
对象知识网
企业信息系统
形式化表达
基于扩展Petri网的系统建模及形式化验证方法
形式化验证
建模
实时有色Petri网
嵌入式系统
基于Petri网的UML形式化建模应用分析
眦形式化
状态图
序列图
Petri网
采用模糊Petri网的形式化推理算法及其应用
模糊Petri网
知识表示
推理算法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于Petri网的MES系统形式化建模
来源期刊 烟台大学学报(自然科学与工程版) 学科 工学
关键词 Petri网 执行制造系统 水产品加工 形式化建模
年,卷(期) 2019,(3) 所属期刊栏目 应用技术
研究方向 页码范围 298-306
页数 9页 分类号 TP391
字数 6255字 语种 中文
DOI 10.13951/j.cnki.37-1213/n.2019.03.016
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 范宝德 烟台大学计算机与控制工程学院 29 86 5.0 7.0
2 邹佳霖 烟台大学计算机与控制工程学院 2 2 1.0 1.0
3 韩兆玉 烟台大学计算机与控制工程学院 2 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (120)
共引文献  (34)
参考文献  (13)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(6)
  • 参考文献(0)
  • 二级参考文献(6)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(4)
  • 参考文献(0)
  • 二级参考文献(4)
2001(6)
  • 参考文献(0)
  • 二级参考文献(6)
2002(11)
  • 参考文献(0)
  • 二级参考文献(11)
2003(11)
  • 参考文献(0)
  • 二级参考文献(11)
2004(11)
  • 参考文献(1)
  • 二级参考文献(10)
2005(10)
  • 参考文献(1)
  • 二级参考文献(9)
2006(3)
  • 参考文献(0)
  • 二级参考文献(3)
2007(5)
  • 参考文献(0)
  • 二级参考文献(5)
2008(5)
  • 参考文献(2)
  • 二级参考文献(3)
2009(5)
  • 参考文献(0)
  • 二级参考文献(5)
2010(7)
  • 参考文献(0)
  • 二级参考文献(7)
2011(3)
  • 参考文献(0)
  • 二级参考文献(3)
2012(9)
  • 参考文献(1)
  • 二级参考文献(8)
2013(10)
  • 参考文献(0)
  • 二级参考文献(10)
2014(7)
  • 参考文献(1)
  • 二级参考文献(6)
2015(5)
  • 参考文献(2)
  • 二级参考文献(3)
2016(5)
  • 参考文献(1)
  • 二级参考文献(4)
2017(2)
  • 参考文献(1)
  • 二级参考文献(1)
2018(3)
  • 参考文献(2)
  • 二级参考文献(1)
2019(1)
  • 参考文献(1)
  • 二级参考文献(0)
2019(1)
  • 参考文献(1)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
Petri网
执行制造系统
水产品加工
形式化建模
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
烟台大学学报(自然科学与工程版)
季刊
1004-8820
37-1213/N
16开
山东省烟台市莱山区
1988
chi
出版文献量(篇)
1409
总下载数(次)
0
总被引数(次)
5478
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导