基于Petri网化简技术的工作流过程模型结构验证

摘要：

目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程.

关键词：Petri网、工作流、合理性、模型化简

所属期刊栏目：19

分类号：TP393(计算技术、计算机技术)

资助基金：内蒙古自然科学基金200607010810

在线出版日期：2009-06-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：51-54,57