基于Petri网化简技术的工作流过程模型结构验证
Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques作者机构：北京理工大学研究生学院北京100081
出 版 物：《计算机技术与发展》 (Computer Technology and Development)
年 卷 期：2009年第19卷第6期
页 面：51-54,57页
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。文中介绍两种化简规则。这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petri网和原有的Petri网具有相同的属性。介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程。
维普期刊数据库
同方期刊数据库