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

邹佳霖范宝德韩兆玉

烟台大学学报（自然科学与工程版）2019，Vol.32Issue(3)：298-306,9.

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

Formal Modeling of MES System Based on Petri Net

邹佳霖 ¹范宝德 ¹韩兆玉¹

作者信息

Petri网/执行制造系统/水产品加工/形式化建模

信息技术与安全科学

邹佳霖,范宝德,韩兆玉..基于Petri网的MES系统形式化建模[J].烟台大学学报（自然科学与工程版）,2019,32(3):298-306,9.

国家重点研发计划专项课题(2017YFB1400105). （2017YFB1400105）

ISSN：1004-8820

访问量0

下载量0

段落导航