[1]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51-54.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(06):51-54.
点击复制

基于Petri网化简技术的工作流过程模型结构验证()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2009年06期
页码:
51-54
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques
文章编号:
1673-629X（2009）06-0051-04
作者:
徐晶明 杜宝珠
北京理工大学研究生学院
Author(s):
XU Jing-ming;  DU Bao-zhu
Graduate School of Beijing Institute of Technology
关键词:
Petri网; 工作流; 合理性; 模型化简
Keywords:
petri net;  workflow;  soundness;  model reduction
分类号:
TP393
文献标志码:
A
摘要:
目前，工作流系统向大型化发展，这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此，在过程验证之前，对大型模型进行化简是必要的。文中介绍两种化简规则。这些规则将一个大的Petri网化简为更小的Petri网，同时保持合理性属性，保证化简后的Petri网和原有的Petri网具有相同的属性。介绍了Petri网、Workflow Petri网和过程合理性定义；讨论了针对Petri网的两种化简技术；提出了工作流过程模型结构合理性验证过程
Abstract:
Now, the workflow system develop to large size. As a result, when verification for a large size model , the verification techniques of based on reachability graph face with the problem of state space explode. In that way, before process verification, it i

相似文献/References:

[1]刘林钢 姜浩.基于时间约束Petri网的一致性验证算法[J].计算机技术与发展,2010,(01):54.
　LIU Lin-gang,JIANG Hao.Verification Algorithm of Consistency Based on Time Constraint Petri Nets[J].,2010,(06):54.
[2]申屠晓丽 姚明海 汤幸江.工作流管理系统的柔性技术研究与应用[J].计算机技术与发展,2010,(01):116.
　SHENTU Xiao-li,YAO Ming-hai,TANG Xing-jiang.Research and Application of Flexible Technology for Workflow Management System[J].,2010,(06):116.
[3]张月菊 王涛 林拉.跨组织工作流集成中间件语义转换部件研究[J].计算机技术与发展,2010,(03):92.
　ZHANG Yueoju,WANG Tao,LIN La.Research on Structure for Semantic Translation in Cross- Organizational Workflow Integrated System[J].,2010,(06):92.
[4]翁辉 徐海珠 陈晓山.基于Petri网的装备战场抢修系统建模研究[J].计算机技术与发展,2010,(03):176.
　WENG Hui,XU Hai-zhu,CHEN Xiao-shan.Modeling Research on Equipment Battlefield Repair System Based on Petri Net[J].,2010,(06):176.
[5]李龙澍 胡正梁.基于Petri网的UML形式化建模应用分析[J].计算机技术与发展,2010,(04):76.
　LI Long-shu,HU Zheng-liang.Application Analysis and Formal Modeling of UML Based on Petri Net[J].,2010,(06):76.
[6]杨平乐 刘树森 高雅.基于ADO.NET学生信息管理系统的设计与实现[J].计算机技术与发展,2010,(05):238.
　YANG Ping-le,LIU Shu-sen,GAO Ya.Student Information Management System Design and Implementation Based on ADO.NET[J].,2010,(06):238.
[7]韩咚 田银花.基于赋时颜色Petri网的NSSK协议建模[J].计算机技术与发展,2010,(06):156.
　HAN Dong,TIAN Yin-hua.The Modeling of NSSK Protocols Based on Timed Colored Petri Nets[J].,2010,(06):156.
[8]李敏 曹宝香 郑垒.一种工作流模型的模拟与分析[J].计算机技术与发展,2009,(06):131.
　LI Min,CAO Bao-xiang,ZHENG Lei.Simulation and Analysis of a Workflow Model[J].,2009,(06):131.
[9]胡文江 高永兵 樊瑞民 张健.基于Web服务的工作流执行优化方法探讨[J].计算机技术与发展,2009,(06):156.
　HU Wen-jiang,GAO Yong-bing,FAN Rui-min,et al.Research of Workflow Optimal Strategy Based on Web Services[J].,2009,(06):156.
[10]董崇杰 傅秀芬 王凤梅 唐志成 顾牡丹.基于J2EE的公安厅审计信息系统的设计与实现[J].计算机技术与发展,2009,(09):246.
　DONG Chong-jie,FU Xiu-fen,WANG Feng-mei,et al.Design and Implementation of a Public Security Department Audit Information System Based on J2EE[J].,2009,(06):246.
[11]陈伟 文东戈 王昊.层次颜色工作流Petri网建模与应用[J].计算机技术与发展,2009,(01):49.
　CHEN Wei,WEN Dong-ge,WANG Hao.Modeling and Application of Hierarchical Colored Workflow Net[J].,2009,(06):49.
[12]秦凯 姜浩.一种基于Petri网的工作流模型分解方法[J].计算机技术与发展,2008,(01):97.
　QIN Kai,JIANG Hao.An Approach of Decomposition of Workflow Models Based on Petri Net[J].,2008,(06):97.
[13]孙建召 曾巧明.基于面向对象Petri网的工作流建模及性能分析[J].计算机技术与发展,2007,(10):73.
　SUN Jian-zhao,ZENG Qiao-ming.Workflow Modeling and Performance Analysis Based on Object - Oriented Petri Nets[J].,2007,(06):73.
[14]万丽 秦军 沈奔.PAIS中过程挖掘技术的研究[J].计算机技术与发展,2010,(12):61.
　WAN Li,QIN Jun,SHEN Ben.Process Mining Technology Research in PAIS[J].,2010,(06):61.
[15]赵艳妮[],郭华磊[],尚岚[],等. 一种柔性软件框架的设计与实现[J].计算机技术与发展,2015,25(11):93.
　ZHAO Yan-ni[],GUO Hua-lei[],SHANG Lan[],et al. Design and Implementation of a Flexible Software Framework[J].,2015,25(06):93.

备注/Memo

备注/Memo:
内蒙古自然科学基金（200607010810）徐晶明（1981-），男，青海西宁人，硕士研究生，研究方向为工作流技术及数据集成；杜宝珠，硕士，研究方向为工作流技术及数据集成。
更新日期/Last Update: 1900-01-01