基于Petri网的工作流模型构建

下载PDF

导出

摘要 Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。

作者朱中仁

机构地区中国电子科技集团公司第

出处《安徽电子信息职业技术学院学报》 2012年第1期1-3,14,共4页 Journal of Anhui Vocational College of Electronics & Information Technology

关键词 PETRI网工作流建模正确性

参考文献2

1周建涛,史美林,叶新铭.一种基于Petri网化简的工作流过程语义验证方法[J].软件学报,2005,16(7):1242-1251. 被引量：34
2Van der Aalst W M P. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 1998,8(1) :21-66.
3杜淑楠,章宁,王鲁滨.工作流模型正确性验证过程中的模型化简问题.
4Sadiq W, Orlawska M E. Analyzing process models using graph reduction techniques. Information system, 2002, 25(2):117- 134.
5Clarke E M, Grumberg O, Peled D A. Model Checking. MA: the MIT Press, 1999.
6李建强,范玉顺.基于Petri网化简方法的工作流模型验证[J].信息与控制,2001,30(6):492-497. 被引量：44

1张民,郭玉彬,李西明,蒋郁.工作流正确性问题综述[J].计算机应用研究,2009,26(5):1645-1649. 被引量：3
2田宝勇.一种基于Petri网的OA工作流模型研究[J].科技成果纵横,2009(5):75-76.
3张琳霞.基于ECA规则的分布式工作流模型[J].广东轻工职业技术学院学报,2010,9(2):1-3.
4王芳,段青玲,马静静.无公害农产品认证模型构建研究与系统结构[J].农机化研究,2011,33(1):32-36. 被引量：2
5韩朝超,黄树彩.基于着色Petri网的联合反导作战系统建模[J].计算机工程与应用,2011,47(6):235-238. 被引量：3
6秦怀斌,梁斌,邵明文,郭理,戴建国.基于Petri网的兵团空间信息系统运行管理模型[J].湖北大学学报（自然科学版）,2011,33(1):57-60. 被引量：2
7张青,吴洁,王建刚,施琴芬,张运华.高校科技管理系统中知识流模型构建及动力机制分析[J].图书情报工作,2011,55(18):83-87. 被引量：3
8汪超,王明哲,宋阿妮.基于Petri网的双层反导拦截指控系统建模分析[J].舰船电子工程,2013,33(4):20-24. 被引量：2

安徽电子信息职业技术学院学报

2012年第1期

内容加载中请稍等...