[1]秦凯 姜浩.一种基于Petri网的工作流模型分解方法[J].计算机技术与发展,2008,(01):97-100.
　QIN Kai,JIANG Hao.An Approach of Decomposition of Workflow Models Based on Petri Net[J].,2008,(01):97-100.
点击复制

一种基于Petri网的工作流模型分解方法()
分享到：

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

卷:
期数:
2008年01期
页码:
97-100
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
An Approach of Decomposition of Workflow Models Based on Petri Net
文章编号:
1673-629X（2008）01-0097-04
作者:
秦凯 姜浩
东南大学计算机科学与工程学院
Author(s):
QIN Kai;  JIANG Hao
School of Computer Science ＆ Engineering, Southeast University
关键词:
工作流; Petri网; 模型化简; 模型分析
Keywords:
workflow; Petri nets; model reduction; model analysis
分类号:
TP311.5
文献标志码:
A
摘要:
工作流网的模型化简是模型有效分析的前提。在了解了工作流网及丁一组件网相关定义的基础上，对工作流网的结构化简方法进行了分析，提出了一种简洁有效的工作流网模型的自由选择子网分解算法，给出了算法的过程同时也给出了算法的时间复杂度分析。最后，在算法的应用方面，将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合，不仅可以有效提高模型化简的效率，而且还可以在模型化简的同时进行基于业务实例子网的模型分析
Abstract:
Model reduction of workflow nets is the premise of effective analysis of models. On the basis of introduction of workflow nets and T - components relative definitions, the structure reduction methods of workflow nets are analyzed, a pithy and effective al

相似文献/References:

[1]刘林钢 姜浩.基于时间约束Petri网的一致性验证算法[J].计算机技术与发展,2010,(01):54.
　LIU Lin-gang,JIANG Hao.Verification Algorithm of Consistency Based on Time Constraint Petri Nets[J].,2010,(01):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,(01):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,(01):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,(01):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,(01):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,(01):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,(01):156.
[8]李敏 曹宝香 郑垒.一种工作流模型的模拟与分析[J].计算机技术与发展,2009,(06):131.
　LI Min,CAO Bao-xiang,ZHENG Lei.Simulation and Analysis of a Workflow Model[J].,2009,(01):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,(01):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,(01):246.
[11]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(01):51.
[12]陈伟 文东戈 王昊.层次颜色工作流Petri网建模与应用[J].计算机技术与发展,2009,(01):49.
　CHEN Wei,WEN Dong-ge,WANG Hao.Modeling and Application of Hierarchical Colored Workflow Net[J].,2009,(01):49.
[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,(01):73.
[14]万丽 秦军 沈奔.PAIS中过程挖掘技术的研究[J].计算机技术与发展,2010,(12):61.
　WAN Li,QIN Jun,SHEN Ben.Process Mining Technology Research in PAIS[J].,2010,(01):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(01):93.

备注/Memo

备注/Memo:
秦凯（1983-），男，江苏启东人，硕士研究生，研究方向为工作流；姜浩，博士，副教授。研究方向为工作流技术、Petri技术、Web服务
更新日期/Last Update: 1900-01-01