首页 | 本学科首页   官方微博 | 高级检索  
     

基于时间约束Petri网的工作流动态一致性检验
引用本文:孙智坚,姜浩.基于时间约束Petri网的工作流动态一致性检验[J].微机发展,2006,16(9):50-52.
作者姓名:孙智坚  姜浩
作者单位:东南大学计算机科学与工程系 江苏南京210096
摘    要:工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能。

关 键 词:工作流  时间约束Petri网  动态修改  时间一致性
文章编号:1673-629X(2006)09-0050-03
修稿时间:2005年11月25

Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets
SUN Zhi-jian,JIANG Hao.Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets[J].Microcomputer Development,2006,16(9):50-52.
Authors:SUN Zhi-jian  JIANG Hao
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.
Keywords:workflow  time constraint Petri net  dynamic modifying  temporal consistency
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号