提出了一种基于射频识别(RFID)的Petri网在水产品全程质量追踪和溯源系统应用的方法,以构建高效的基于物联网技术的水产品溯源与安全预警平台。根据实际水产品业务流和信息流,利用Petri网进行建模,然后在CPN Tools环境进行仿真。仿真结果表明:该建模方法简单、可行,能够验证工作流模型的有效性,而且便于计算机形式化表达和优化分析,有利于工作流管理系统的实现和性能提高,一定程度上提高了供应链的效率,从而降低了流通的成本和质量风险。 从而提高工作效率、更好控制过程、增强对客户的服务、有效管理业务流程等目的［7］。系统模型-数控滚圆机滚弧机价格低电动液压滚圆机滚弧机多少钱工作网络Petri网W=(P，T;F)是工作流网络，当且仅当:1)W中存在2个特殊库所:库所i是输入库所，’i=H;库所o是输出库所，o’=H;2)如果在W中库所o和i之间增加一个变迁t*，则得到的W’是一个强连结的Petri网。以上两个条件只是工作流网络的最小约束条件，实际应用中仍可能定义出带有诸如死锁等缺陷的模型。这需要通过对Petri网的分析加以解决。2水产品溯源过程建模2．1水产品溯源流程Petri网建模水产品追溯业务流程图如图1所示。图1水产品追溯业务流程图系统模型-数控滚圆机滚弧机价格低电动液压滚圆机滚弧机多少钱水产品的养殖和流通流程为基础流程，以高级Petri网为理论基础，引出产品的养殖和物流流程模型，定义五元组∑=(P，T;F，Ti，M0)其中，P为库所集，代表事件或系统中各环节执行方;T为变迁集，本文由张家港市泰宇机械有限公司大棚滚弧度机网站采集网络资源整理!   http://www.dapenggunhuji.com/ 代表水产品的养殖和流通流程活动;F是库所和变迁的流关系;Ti是流程活动的属性，对应于流程活动的时间变量;M0为初始标识，用于表示初始条件下分布在各库所中的托肯情况。根据水产品追溯业务流程，利用Petri网的“状态”和“事件”概念对整个工艺流程进行描述，具体见表1。表1水产品养殖流通流程Petri网描述状态描述事件描述p0养殖场p1订单通知t1接受订单p2配送中心t2确认订单选择配送p3小包裹t3拆分包装p4大客户提货单t4大包裹配送p5VIP客户提货单t5小包裹配送p6VIP客户t6验收p7大客户t7验收分析水产品养殖和流通过程中的每一事件，可以创建基于Petri网的水产品安全追溯系统模型，如图2所示。p和客户，多部门共享，省去很多时间，如原流程p1，p4，p5就可以取消，养殖场直接在系统中通知发货，客户接到短信通知直接提货。图3优化后水产品追溯业务流程图Fi将已得到的水产品追溯业务进行Petri网工作流进行建模，采用自顶向下的原则，业务流程中包含顺序路由，并将其进行转换。将任务转换为变迁，在任务的前增加一个启动条件，任务后增加一个结束条件，并用库所表示，可获得一个水产品追溯的工作流网络，如图4所示。图4优化后水产品追溯业务Petri工作流网络水产品溯源系统的CPN建模仿真3．1水产品溯源系统的CPN建模本文采用了CPNTools仿真工具，利用CPN建模和分析工具，建立Petri网工作流的静态模型，并对系统模型的动态行为进行模拟仿真，对系统模型的特性进行了分析，如并发、分布、异步等，建立了系统模型的状态空间，分析系统的活性、可达性等。可以将整个水产品溯源配送流程分为三个部分:配送、拆分包装和提货验收。根据Petri网工作流的理论，对其三个部分采用CPN建模仿真，这里给出了颜色集和变量，定义如系统模型-数控滚圆机滚弧机价格低电动液压滚圆机滚弧机多少钱本文由张家港市泰宇机械有限公司大棚滚弧度机网站采集网络资源整理!   http://www.dapenggunhuji.com/