论文部分内容阅读
针对无公害农产品认证业务流程的复杂性,设计并实现了基于工作流的无公害农产品监管系统。采用Petri网技术构建无公害农产品认证业务的工作流模型,并通过模型化简和矩阵遍历相结合的算法对模型的合理性进行了验证。模型化简算法降低了矩阵遍历算法中遍历的维数,矩阵遍历算法弥补了复杂模型无法彻底化简的问题,两种算法相互作用提高了算法的效率和验证的准确性。结论表明,利用Petri网和改进的模型验证算法可以对无公害农产品认证业务模型进行构建和优化设计。