物联网中的智慧溯源服务系统Petri网建模与分析

来源 :智能系统学报 | 被引量 : 0次 | 上传用户:luckychuan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
物联网(IOT)为人类社会的智慧化进程提供了革命性的信息技术,已广泛应用于社会各个领域。智慧农业是物联网的重要应用领域之一,农产品溯源是智慧农业的一个典型应用。在学习Petri网理论的基础上,围绕物联网在智慧农业领域的应用实际,结合农产品溯源系统需求,设计了一个基于物联网技术的农产品智慧溯源服务系统架构,分析了系统的整体业务流程,建立了系统的Petri网模型。采用关联矩阵和不变量对所建模型的可达性、有界性、安全性和活性等性质进行了分析,使用PIPE工具进行了仿真验证,证明了模型系统的合理性、可靠性和健壮性。
其他文献
介绍一种用于夜间对空间弱小目标进行捕获、测量的微光大视场测量仪。它能对暗背景下的各种几何图像 ,包括星点像的几何位置关系提供较高精度测量 ,并能实时输出所需结果。微
"三变"改革旨在回应农村经营体制、脱贫攻坚和农民增收等方面面临的现实难题。"三变"改革的要义在于:让低收入者脱贫致富,关键是要让他们有资产性收入;要让他们有资产性收入,
放置宫内节育器(IUD)是一种常用的节育方法.随着IUD的广泛使用,其粘连及嵌顿的病例也时有发生,造成取器困难.如何把取环过程中患者的痛苦降低到最低限度,是每个妇幼工作者十
期刊
目的:探讨针刺治疗肝硬化腹水的临床疗效。方法:80例肝硬化腹水病人以针刺透穴疗(中脘透水分,水分透气海、气海透中极)法治疗。结果:治疗组总有效率为95%。提示:本方法具有健脾补肾、
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
从各主要国家的立法例考察,直接在法典中设专章或专门条文规定基本原则的不是主流做法。由于受苏联法律的影响,在法典的卷首规定基本原则成了新中国立法的定式,但事实上这是
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
会议
软件定义无线电台(SDR)已成为当今及未来无线电系统研究及发展的方向,其核心思想是在通用的硬件平台上,提供一种具有组件可重用、可重编程等功能的软件系统,解决传统通信系统