[1]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,12(4):538-547.[doi:10.11992/tis.201611031]
Copy

Petri net modeling and analysis of an intelligent traceabilityservice system based on the Internet of Things

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 12 Number of periods: 2017 4 Page number: 538-547 Column: 学术论文—智能系统 Public date: 2017-08-25
Title:
Petri net modeling and analysis of an intelligent traceabilityservice system based on the Internet of Things
Author(s):
ZHU Zhengyue1; 2;  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
Keywords:
Internet of Things; agricultural product; traceability; intelligent system; Petri nets; incidence matrix; invariants; simulation analysis
CLC:
TP391
DOI:
10.11992/tis.201611031
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.
Similar References:

Memo

-

Last Update: 2017-08-25

Copyright © CAAI Transactions on Intelligent Systems