,542 智能系统学报 第12卷 定义及描述如表1所示。 根据图2所示的农产品智慧溯源服务系统整体 表1农产品智慧溯源服务系统Petri网模型中的条件集、 业务流程，系统的条件和事件对应关系如表2所示。 事件集定义及描述 表2农产品智慧溯源服务系统Petri网模型的各个事件触 Table 1 Definitions and descriptions of the condition set 发前条件和后条件 and event set of the agricultural product Table 2 Pre-conditions and post-conditions of the traceability intelligent service system based on the agricultural product traceability intelligent Petri net model service system based on the Petri net model 条件集S 事件集T 事件 前条件 后条件 条件 描述 条件 描述 t S1 农产品种苗 赋码/注标/登记服务 赋码/注标/登记 2 S2 83 后入场种苗 2 种养服务 生长期农产品 b 防疫服务 防疫后生产 84 S4 成熟回收服务 期农产品 生产基地至加工基地 56 5 成熟后农产品 物流运输服务 到达加工场地农产品 加工前检疫服务 1 检疫后合格农产品 入场待加工服务 检疫后不合格农产品 加工/赋码/注标服 510 入场待加工农产品 出场质检服务 10 811,812 加工后待出场商品 商品入库服务 13 出场检验合格商品 商品订单服务 加工基地至销售地 14 815 s12 出场检验不合格商品 物流运输服务 515 516 加工企业仓库商品 销售地盘点入库服务 tu 516 s4依订单出库待运输商品14 分拨销售服务 tis 5n 18 s15 销售地商品 销售服务 在分析农产品溯源的生产、加工、流通和销售 销售地仓库商品 等环节的状态和每一个初始可以触发的事件，确定 Peti网模型的初始状态，确定初始状态下的状态标 s?销售场所定价上架商品 识token数与分布，建立基于物联网的农产品智慧 S18 消费者购买的商品 溯源服务系统的Petr网系统∑，如图4所示。 ò1-6i6iòi i-i-i- 图4农产品智慧溯源服务系统的Ptri网模型系统 Fig.4 Petri net model system of the agricultural product traceability intelligent service system定义及描述如表 １ 所示。 表 １ 农产品智慧溯源服务系统 Ｐｅｔｒｉ 网模型中的条件集、 事件集定义及描述 Ｔａｂｌｅ １ Ｄｅｆｉｎｉｔｉｏｎｓ ａｎｄ ｄｅｓｃｒｉｐｔｉｏｎｓ ｏｆ ｔｈｅ ｃｏｎｄｉｔｉｏｎ ｓｅｔ ａｎｄ ｅｖｅｎｔ ｓｅｔ ｏｆ ｔｈｅ ａｇｒｉｃｕｌｔｕｒａｌ ｐｒｏｄｕｃｔ ｔｒａｃｅａｂｉｌｉｔｙ ｉｎｔｅｌｌｉｇｅｎｔ ｓｅｒｖｉｃｅ ｓｙｓｔｅｍ ｂａｓｅｄ ｏｎ ｔｈｅ Ｐｅｔｒｉ ｎｅｔ ｍｏｄｅｌ 条件集 Ｓ 条件 描述 事件集 Ｔ 条件 描述 ｓ１ 农产品种苗 ｔ １ 赋码／ 注标／ 登记服务 ｓ２ 赋码／ 注标／ 登记 后入场种苗 ｔ ２ 种养服务 ｓ３ 生长期农产品 ｔ ３ 防疫服务 ｓ４ 防疫后生产 期农产品 ｔ ４ 成熟回收服务 ｓ５ 成熟后农产品 ｔ ５ 生产基地至加工基地 物流运输服务 ｓ６ 到达加工场地农产品 ｔ ６ 加工前检疫服务 ｓ７ 检疫后合格农产品 ｔ ７ 入场待加工服务 ｓ８ 检疫后不合格农产品 ｔ ８ 加工／ 赋码／ 注标服务 ｓ９ 入场待加工农产品 ｔ ９ 出场质检服务 ｓ１０ 加工后待出场商品 ｔ １０ 商品入库服务 ｓ１１ 出场检验合格商品 ｔ １１ 商品订单服务 ｓ１２ 出场检验不合格商品 ｔ １２ 加工基地至销售地 物流运输服务 ｓ１３ 加工企业仓库商品 ｔ １３ 销售地盘点入库服务 ｓ１４ 依订单出库待运输商品 ｔ １４ 分拨销售服务 ｓ１５ 销售地商品 ｔ １５ 销售服务 ｓ１６ 销售地仓库商品 ｓ１７ 销售场所定价上架商品 ｓ１８ 消费者购买的商品 根据图 ２ 所示的农产品智慧溯源服务系统整体 业务流程，系统的条件和事件对应关系如表 ２ 所示。 表 ２ 农产品智慧溯源服务系统 Ｐｅｔｒｉ 网模型的各个事件触 发前条件和后条件 Ｔａｂｌｅ ２ Ｐｒｅ⁃ｃｏｎｄｉｔｉｏｎｓ ａｎｄ ｐｏｓｔ⁃ｃｏｎｄｉｔｉｏｎｓ ｏｆ ｔｈｅ ａｇｒｉｃｕｌｔｕｒａｌ ｐｒｏｄｕｃｔ ｔｒａｃｅａｂｉｌｉｔｙ ｉｎｔｅｌｌｉｇｅｎｔ ｓｅｒｖｉｃｅ ｓｙｓｔｅｍ ｂａｓｅｄ ｏｎ ｔｈｅ Ｐｅｔｒｉ ｎｅｔ ｍｏｄｅｌ 事件 前条件 后条件 ｔ １ ｓ１ ｓ２ ｔ ２ ｓ２ ｓ３ ｔ ３ ｓ３ ｓ４ ｔ ４ ｓ４ ｓ５ ｔ ５ ｓ５ ｓ６ ｔ ６ ｓ６ ｓ７ ，ｓ８ ｔ ７ ｓ７ ｓ９ ｔ ８ ｓ９ ｓ１０ ｔ ９ ｓ１０ ｓ１１ ，ｓ１２ ｔ １０ ｓ１１ ｓ１３ ｔ １１ ｓ１３ ｓ１４ ｔ １２ ｓ１４ ｓ１５ ｔ １３ ｓ１５ ｓ１６ ｔ １４ ｓ１６ ｓ１７ ｔ １５ ｓ１７ ｓ１８ 在分析农产品溯源的生产、加工、流通和销售 等环节的状态和每一个初始可以触发的事件，确定 Ｐｅｔｒｉ 网模型的初始状态，确定初始状态下的状态标 识 ｔｏｋｅｎ 数与分布，建立基于物联网的农产品智慧 溯源服务系统的 Ｐｅｔｒｉ 网系统 ∑１ 如图 ４ 所示。 图 ４ 农产品智慧溯源服务系统的 Ｐｅｔｒｉ 网模型系统 Σ１ Ｆｉｇ．４ Ｐｅｔｒｉ ｎｅｔ ｍｏｄｅｌ ｓｙｓｔｅｍ Σ１ ｏｆ ｔｈｅ ａｇｒｉｃｕｌｔｕｒａｌ ｐｒｏｄｕｃｔ ｔｒａｃｅａｂｉｌｉｔｙ ｉｎｔｅｌｌｉｇｅｎｔ ｓｅｒｖｉｃｅ ｓｙｓｔｅｍ ·５４２· 智 能 系 统 学 报 第 １２ 卷