无公害农产品认证模型构建研究与系统结构.pdfVIP

201i年 1月 农 机 化 研 究 第 1期 无 公 害农产 品认证 模 型构 建研 究与 系统 结构 王 芳 ，段青玲 ，马静静 (1．中国农业大学 信息与电气工程学院，北京 100083；2．长城计算机软件与系统有限公司 ，北京 100190) 摘 要： 针对无公害农产品认证业务流程的复杂性 ，设计并实现了基于工作流的无公害农产品监管系统 。采用 Petri网技术构建无公害农产品认证业务 的工作流模型，并通过模型化简和矩阵遍历相结合的算法对模型的合理 性进行 了验证。模型化简算法降低了矩阵遍历算法中遍历的维数，矩阵遍历算法弥补了复杂模型无法彻底化简 的问题 ，两种算法相互作用提高了算法的效率和验证的准确性 。结论表 明，利用 Petri网和改进 的模 型验证算法 可以对无公害农产品认证业务模型进行构建和优化设计。 关键词：无公害农产品；工作流；Petri网；工作流模型；模型化简算法；矩阵遍历算法 中图分类号：S126 文献标识码：A 文章编号：1003—188X(2011)01—0032—05 ，、 ， 。一 遍历相结合的算法对模型的正确性与合理性验证。 U l吾 1 Petri网和工作流模型 无公害农产品是指产地环境、生产过程和产品质 量符合国家有关标准和规范的要求，经认证合格获得 1．1 经典 Petri网 证书并允许使用无公害农产品标志的优质农产品及 Petri网是 20世纪 6O年代由德国学者 CarlAdam 其加工制品¨J。无公害农产品认证工作 目前采用认 Petri提出来的_3]，是由库所P(Place)和变迁T(Transi． 证材料依次通过县、地、省、分中心、部中心等各级工 tion)以及流关系F(FlowRelation)组成的双向图。 作机构逐级审批的方法。但是认证信息和文书在各 定义 1：经典的Petri网是一个满足如下充要条件 级工作机构间的传递是通过邮寄方式完成的。这种 的三元组N=(P，T，F)。 手工操作的方法不仅耗费了大量的人力、财力和时 1)Pot ≠0 (网非空)； 间，而且无法做到政务公开。因此，设计开发 电子化 2)PnT= (二元性)； 的无公害农产品监管系统是大势所趋 。系统中如何 3)F∈(P×7)u(T×P)(流关系仅在 P和 的 实现无公害农产品认证业务资料和审批信息在县、 元素之间)； 地、省、分中心、部中心各级工作机构之间 自动流转是 4)dom(，)otcod(F)=Pu (没有孤立元素)。 实现系统的关键技术之一。本文将工作流技术引入 其中，dom(F)，cod(F)分别为F的定义域和值域。 到无公害农产品监管系统之中，解决了各级工作机构 1．2 工作流模型 间业务信息的自动流转。 工作流模型是对实际业务流程的抽象和提炼，是 工作流管理系统是一类能够完全或者部分 自动 用工作流思想和工作流术语对业务流程 的描述和建 执行的工程，根据系统的实际业务活动规则，使业务 模 的结果HJ。工作流模型包含 了描述一个能够 由工 办理过程 中的文档、信息或任务能够在不同的执行者 作流执行服务软件系统执行过程所需要的所有信息， 之间自动流转和执行 。一个工作流系统成功的关 这些信息包括过程的开始和完成条件、构成过程的活 键是工作流模型的质量 ，本文采用具有严密的数学基 动以及进行活动间导航的规则、用户所需要完成的任 础的Petri网