[1]朱正月,陈增强.物联网中的智慧溯源服务系统Petri网建模与分析[J].智能系统学报,2017,(04):538-547.[doi:10.11992/tis.201611031]
 ZHU Zhengyue,CHEN Zengqiang.Petri net modeling and analysis of an intelligent traceabilityservice system based on the Internet of Things[J].CAAI Transactions on Intelligent Systems,2017,(04):538-547.[doi:10.11992/tis.201611031]
点击复制

物联网中的智慧溯源服务系统Petri网建模与分析(/HTML)
分享到:

《智能系统学报》[ISSN:1673-4785/CN:23-1538/TP]

卷:
期数:
2017年04期
页码:
538-547
栏目:
出版日期:
2017-08-25

文章信息/Info

Title:
Petri net modeling and analysis of an intelligent traceabilityservice system based on the Internet of Things
作者:
朱正月12 陈增强2
1. 安徽电子信息职业技术学院 信息与智能工程系, 安徽 蚌埠 233030;
2. 南开大学 计算机与控制工程学院, 天津 300350
Author(s):
ZHU Zhengyue12 CHEN Zengqiang2
1. Department of Information and Intelligent Engineering, Anhui Vocational College of Electronics and Information Technology, Bengbu 233030, China;
2. College of Computer and Control Engineering, Nankai University, Tianjin 300350, China
关键词:
物联网农产品溯源智慧系统Petri网关联矩阵不变量仿真分析
Keywords:
Internet of Thingsagricultural producttraceabilityintelligent systemPetri netsincidence matrixinvariantssimulation analysis
分类号:
TP391
DOI:
10.11992/tis.201611031
摘要:
物联网(IOT)为人类社会的智慧化进程提供了革命性的信息技术,已广泛应用于社会各个领域。智慧农业是物联网的重要应用领域之一,农产品溯源是智慧农业的一个典型应用。在学习Petri网理论的基础上,围绕物联网在智慧农业领域的应用实际,结合农产品溯源系统需求,设计了一个基于物联网技术的农产品智慧溯源服务系统架构,分析了系统的整体业务流程,建立了系统的Petri网模型。采用关联矩阵和不变量对所建模型的可达性、有界性、安全性和活性等性质进行了分析,使用PIPE工具进行了仿真验证,证明了模型系统的合理性、可靠性和健壮性。
Abstract:
Applied in different fields, the Internet of Things (IOT) offers revolutionary information technology that can aid the development of human knowledge. Intelligent agriculture is one of the important applications of the IOT and the traceability of agricultural products is one of its typical applications. In this paper, based on the Petri nets theory and the requirements of agricultural product traceability, an intelligent traceability service system of agricultural products, based on IOT technology, is designed. The overall business process of the system is analyzed and a Petri model of the system constructed. An incidence matrix and invariants are adopted to analyze the properties of the Petri net model, which are reachable, bounded, safe, and live. The PIPE tool is applied for simulation and verification, which proves that the model system is rational, reliable, and robust.

参考文献/References:

[1] 工业和信息化部.关于印发《物联网"十二五"发展规划》的通知[EB/OL].(2011-11-28)[2016-10-28]. http://www.miit.gov.cn/n1146285/n1146352/n3054355/n3057497/n3057507/c3630599/content.html. Ministry of industry and information technology. Notice on issuing the 12th five-year development plan of "Internet of Things"[EB/OL].(2011-11-28)[2016-10-28]. http://www.miit.gov.cn/n1146285/n1146352/n3054355/n3057497/n3057507/c3630599/content.html.
[2] 钟海.基于物联网的生鲜果蔬产品溯源系统的设计与实现[D].株洲:湖南工业大学, 2015.ZHONG Hai. Design and implementation of fresh fruits and vegetables traceability system based on internet of things[D]. Zhuzhou:Hunan University of Technology,2015.
[3] 濮永仙.基于物联网的新鲜果蔬产品质量安全溯源系统的构建[J].贵州农业科学, 2016, 44(6):139-143.PU Yongxian. Product quality and safety traceability system of fresh fruits and vegetables based on internet of things[J]. Guizhou agricultural sciences, 2016, 44(6):139-143.
[4] 张龙青.基于物联网的洞庭湖淡水鱼质量安全溯源系统[D].长沙:中南林业科技大学, 2015.ZHANG Longqing. Dongting lake freshwater fish quality and safety traceability system based on the internet of things[D]. Changsha:Central South University of Forestry and Technology, 2015.
[5] YAN Bo, HU Die, SHI Ping. A traceable platform of aquatic foods supply chain based on RFID and EPC internet of things[J]. International journal of Rf technologies research&applications, 2012, 4(1):55-70.
[6] 颜波,石平,黄广文. 基于RFID和EPC物联网的水产品供应链可追溯平台开发[J]. 农业工程学报, 2013, 29(15):172-183.YAN Bo, SHI Ping, HUANG Guangwen. Development of traceability system of aquatic foods supply chain based on RFID and EPC internet of things[J]. Transactions of the chinese society of agricultural engineering, 2013, 29(15):172-183.
[7] 姬五胜,郭宏,张丰臣.基于ZigBee和RFID技术的生猪屠宰可溯源系统的设计与实现[J]. 天津职业技术师范大学学报, 2014, 24(2):1-6.JI Wusheng, GUO Hong, ZHANG Fengchen. Design and implement of pig slaughtering traceability system based on RFID and Zigbee technology[J]. Journal of tianjin university of technology and education, 2014, 24(2):1-6.
[8] 刘尧,高峰,徐幸莲,等.基于RFID和EPC物联网的猪肉跟踪追溯系统开发[J].食品工业科技, 2012, 33(16):49-52.LIU Yao,GAO Feng,XU Xinglian,et al.Establishment of pork tracking and tracing system based on Internet of Things with RFID and EPC[J].Science and technology of food industry, 2012, 33(16):49-52.
[9] 杨运平,周志鹏,李沐华.基于物联网RFID的农产品溯源系统的设计与实现[J]. 计算机与现代化, 2013(10):222-225.YANG Yunping, ZHOU Zhipeng, LI Muhua. Design and implementation of agriculture products tracing system based on internet of things & RFID[J]. Computer and modernization, 2013(10):222-225.
[10] 白红武,孙爱东,陈军,等.基于物联网的农产品质量安全溯源系统[J]. 江苏农业学报, 2013, 29(2):415-420.BAI Hongwu, SUN Aidong, CHEN Jun, et al. Agricultural products traceability system for quality and safety based on Internet of Things[J]. Jiangsu journal of agricultural sciences, 2013, 29(2):415-420.
[11] XU Hongsheng, ZHANG Ruiling, LIN Chunjie, et al. Using RFID technology to development of agricultural products quality safety traceability system on internet of things[J]. Journal of chemical and pharmaceutical research, 2014, 6(10):632-638.
[12] XU Hongsheng, LI Yongliang. Design and development of agricultural products traceability system based on internet of things RFID technology[C]//The 6th International Conference on Sensor Network & Computer Engineering(ICSNCE2016). Xi’an, China, 2016:388-393.
[13] 托普物联网平台.农产品质量安全及管理溯源系统[EB/OL].(2016-07-21)[2016-10-28].http://www.tpwlw.com/baike/info_24.html. Tuopu IOT Paltform. The security and management traceability system of agricultural product quality[EB/OL]. (2016-07-21)[2016-10-28]. http://www.tpwlw.com/baike/info_24.html.
[14] 李乃文.智能小区情境感知服务系统的研究[D].上海:华东理工大学, 2014.LI Naiwen. Intelligent community context aware service system research[D]. Shanghai:East China University of Science and Technology, 2014.
[15] 徐学东,李叶茂. 基本Petri网在信息系统中的建模方法[J].长春工程学院学报:自然科学版, 2006, 7(4):77-80.XU Xuedong, LI Yemao. Modeling method in the information system of basic Petri net[J]. Journal of changchun institute of technology:natural science edition, 2006, 7(4):77-80.
[16] 袁崇义. Petri网原理与应用[M].北京:电子工业出版社,2005.YUAN Chongyi. Theory and application of Petri net[M]. Beijing:Publishing house of electonics industry, 2005.
[17] 赵杰. Petri网的面向对象动态建模及在电梯控制中的应用[D]. 长沙:长沙理工大学, 2004.ZHAO Jie. Object-oriented dynamic modeling of Petri net and its application in elevator control[D]. Changsha:Changsha university of science&technology, 2004.
[18] 陈慧灵,王宪增,邹宽城. 基于Petri网的工作流过程建模[J]. 计算机工程与科学, 2008, 30(5):92-94.CHEN Huiling, WANG Xianzeng, ZOU Kuancheng. Workflow process modeling based on Petri nets[J]. Computer engineering and science, 2008, 30(5):92-94.
[19] 刘炎培,彭晓红,舒远仲,等. 基于面向对象Petri网的设备采购管理系统建模及性能分析[J]. 计算机工程与科学, 2010, 32(10):157-160.LIU Yanpei, PENG Xiaohong, SHU Yuanzhong, et al. Equipment purchasing management system modeling and performance analysis based on object-oriented Petri nets[J]. Computer engineering and science, 2010, 32(10):157-160.
[20] 张鸿皓,姜大鹏,庞永杰,等.水下机器人任务流程建模与管理[J]. 智能系统学报, 2013, 8(5):433-438.ZHANG Honghao, JIANG Dapeng, PANG Yongjie, et al. Workflow modeling and management on AUV[J]. CAAI transactions on intelligent systems, 2013, 8(5):433-438.
[21] 黄广文.基于RFID和EPC物联网的水产品供应链追溯研究[D]. 广州:华南理工大学, 2011.HUANG Guangwen. Research on tracing of aquatic products supply chain based on RFID and EPC Internet of things[D]. Guangzhou:South China university of technology, 2011.
[22] 袁红春,丛斯琳. Petri网的水产品溯源系统模型[J].传感器与微系统, 2016, 35(9):42-45.YUAN Hongchun,CONG Silin.Seafood traceability system model based on Petri net[J]. Transducer and microsystem technologies, 2016, 35(9):42-45.
[23] 虞丽娟,凌培亮,杨劲松,等.物联网智慧服务系统架构及在远洋渔船中的应用[J]. 上海海洋大学学报, 2013, 22(1):147-153.YU Lijuan, LING Peiliang, YANG Jinsong, et al. The architecture of smart service system based on IOT and its application on pelagic fishing vessel[J]. Journal of shanghai ocean university, 2013, 22(1):147-153.
[24] CHEN C M, YU L J, LING P L, et al. The architecture of IOT smart service system of ocean fishing vessel and its application based on Petri net[J]. Applied mechanics & materials, 2013, 385/386:1771-1775.
[25] 王森,李志刚.基于扩展Petri网的新疆肉牛养殖溯源模型设计[J]. 江苏农业科学, 2016, 44(3):413-416.WANG Sen, LI Zhigang. Design of Xinjiang beef cattle breeding traceability model based on the extended Petri net[J]. Jiangsu agricultural sciences, 2016, 44(3):413-416.
[26] 吴哲辉. Petri网导论[M].北京:机械工业出版社,2006.WU Zhehui. Introduction to Petri nets[M]. Beijing:China Machine Press, 2006.
[27] Petri nets world.Petri nets tools database quick overview[EB/OL].[2016-10-28].http://www.informatik.uni-hamburg.de/TGI/PetriNets/index.php.

相似文献/References:

[1]何清.物联网与数据挖掘云服务[J].智能系统学报,2012,(03):189.
 HE Qing.The Internet of things and the data mining cloud service[J].CAAI Transactions on Intelligent Systems,2012,(04):189.

备注/Memo

备注/Memo:
收稿日期:2016-11-22。
基金项目:国家自然科学基金项目(61573199).
作者简介:朱正月,男,1974年生,副教授,主要研究方向为Petri网理论与应用建模、计算机网络及物联网技术应用;陈增强,男,1964年生,教授,博士生导师,主要研究方向为智能预测控制、混沌系统与复杂动态网络、智能物联网、多智能体系统控制,曾获天津市自然科学二等奖、教育部科技进步三等奖等,发表学术论文100余篇。
通讯作者:朱正月,E-mail:ahdy-zzy@ahdy.edu.cn.
更新日期/Last Update: 2017-08-25