[1]孙智坚 姜浩.基于时间约束Petri网的工作流动态一致性检验[J].计算机技术与发展,2006,(09):50-52.
　SUN Zhi-jian,JIANG Hao.Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets[J].,2006,(09):50-52.
点击复制

基于时间约束Petri网的工作流动态一致性检验()
分享到：

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

卷:
期数:
2006年09期
页码:
50-52
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets
文章编号:
1673-629X（2006）09-0050-03
作者:
孙智坚 姜浩
东南大学计算机科学与工程系
Author(s):
SUN Zhi-jian;  JIANG Hao
Dept.of Computer Science and Technology, Southeast University
关键词:
工作流; 时间约束Petri网; 动态修改; 时间一致性
Keywords:
workflow;  time constraint Petri net; dynamic modifying;  temporal consistency
分类号:
TP311.5
文献标志码:
A
摘要:
工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上，根据时间约束推理规则，提出一种动态修改时间约束时检验工作流一致性的方法，从而丰富了工作流的时间管理功能
Abstract:
Time management is an important part of workflow modeling and analyzing. Supporting dynamic changes, the ability of dynamic adaptability tends to be required when workflow systems are employed. Based on time constraint Petri net model of workflow and temporal reasoning rules, a verification method of temporal consistency of the workflow when time constraints are modified dynamically, which has an important value in enhancing time management functionality is proposed

相似文献/References:

[1]刘林钢 姜浩.基于时间约束Petri网的一致性验证算法[J].计算机技术与发展,2010,(01):54.
　LIU Lin-gang,JIANG Hao.Verification Algorithm of Consistency Based on Time Constraint Petri Nets[J].,2010,(09):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,(09):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,(09):92.
[4]杨平乐 刘树森 高雅.基于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,(09):238.
[5]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(09):51.
[6]李敏 曹宝香 郑垒.一种工作流模型的模拟与分析[J].计算机技术与发展,2009,(06):131.
　LI Min,CAO Bao-xiang,ZHENG Lei.Simulation and Analysis of a Workflow Model[J].,2009,(09):131.
[7]董崇杰 傅秀芬 王凤梅 唐志成 顾牡丹.基于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,(09):246.
[8]陈伟 文东戈 王昊.层次颜色工作流Petri网建模与应用[J].计算机技术与发展,2009,(01):49.
　CHEN Wei,WEN Dong-ge,WANG Hao.Modeling and Application of Hierarchical Colored Workflow Net[J].,2009,(09):49.
[9]蒋永 蒋玉明 彭思达.基于工作流用户权限管理模型的研究与设计[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,(09):161.
[10]张猛 侯秀萍 王烨 赵云峰[].工作流失败恢复的研究[J].计算机技术与发展,2009,(04):65.
　ZHANG Meng,HOU Xiu-ping,WANG Ye,et al.Research on Workflow Failure Recovery[J].,2009,(09):65.
[11]冯林 姜浩.基于时间约束Petri网的工作流可调度性分析[J].计算机技术与发展,2006,(11):34.
　FENG Lin,JIANG Hao.Analysis of Workflow Schedulability Based on Time Constraint Petri Nets[J].,2006,(09):34.

备注/Memo

备注/Memo:
孙智坚（1980-），男，江苏扬州人，硕士研究生，研究方向为Petri网建模与分析、工作流系统; 姜浩，博士，副教授，硕士生导师，研究方向为工作流建模技术、计算机集成制造、Agent技术等
更新日期/Last Update: 1900-01-01