[1]刘林钢 姜浩.基于时间约束Petri网的一致性验证算法[J].计算机技术与发展,2010,(01):54-58.
　LIU Lin-gang,JIANG Hao.Verification Algorithm of Consistency Based on Time Constraint Petri Nets[J].,2010,(01):54-58.
点击复制

基于时间约束Petri网的一致性验证算法()
分享到：

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

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

文章信息/Info

Title:
Verification Algorithm of Consistency Based on Time Constraint Petri Nets
文章编号:
1673-629X（2010）01-0058-05
作者:
刘林钢 姜浩
东南大学计算机科学与工程学院
Author(s):
LIU Lin-gang; JIANG Hao
Dept. of Computer Sci. and Eng. ,Southeast University
关键词:
工作流; 时间约束一致性; 时间约束工作流网; 验证算法
Keywords:
workflow;  consistency of time constraints;  TCWFN;  verification algorithm
分类号:
TF301.4
文献标志码:
A
摘要:
时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。
Abstract:
To verify the consistency of time constraints is to ensure that the time model of workflow work correctly.The accuracy and complexity of the algorithm is closely related to the operating efficiency of the entire time model.Firstly introduced briefly the d

相似文献/References:

[1]申屠晓丽 姚明海 汤幸江.工作流管理系统的柔性技术研究与应用[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.
[2]张月菊 王涛 林拉.跨组织工作流集成中间件语义转换部件研究[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.
[3]杨平乐 刘树森 高雅.基于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.
[4]徐晶明 杜宝珠.基于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.
[5]李敏 曹宝香 郑垒.一种工作流模型的模拟与分析[J].计算机技术与发展,2009,(06):131.
　LI Min,CAO Bao-xiang,ZHENG Lei.Simulation and Analysis of a Workflow Model[J].,2009,(01):131.
[6]董崇杰 傅秀芬 王凤梅 唐志成 顾牡丹.基于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.
[7]陈伟 文东戈 王昊.层次颜色工作流Petri网建模与应用[J].计算机技术与发展,2009,(01):49.
　CHEN Wei,WEN Dong-ge,WANG Hao.Modeling and Application of Hierarchical Colored Workflow Net[J].,2009,(01):49.
[8]蒋永 蒋玉明 彭思达.基于工作流用户权限管理模型的研究与设计[J].计算机技术与发展,2009,(01):161.
　JIANG Yong,JIANG Yu-ming,PENG Si-da.Research and Design of User Rights Management Model Based on Workflow[J].,2009,(01):161.
[9]张猛 侯秀萍 王烨 赵云峰[].工作流失败恢复的研究[J].计算机技术与发展,2009,(04):65.
　ZHANG Meng,HOU Xiu-ping,WANG Ye,et al.Research on Workflow Failure Recovery[J].,2009,(01):65.
[10]许春霞 姜浩.基于随机Petri网的工作流仿真[J].计算机技术与发展,2009,(04):87.
　XU Chun-xia,JIANG Hao.Workflow Simulation Based on Stochastic Petri Net[J].,2009,(01):87.

备注/Memo

备注/Memo:
刘林钢（1983-），男，江苏泰州人，硕士研究生，研究方向为Web Service和工作流；姜浩，副教授，研究方向为Web Service和工作流。
更新日期/Last Update: 1900-01-01