首页> 中文期刊>计算机技术与发展 >基于时间约束Petri网的工作流动态一致性检验

基于时间约束Petri网的工作流动态一致性检验

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

工作流系统中的时间管理是工作流建模和分析的重要组成部分.支持动态修改是人们在实际应用中对工作流系统提出的新要求.文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能.

著录项

来源
《计算机技术与发展》|2006年第9期|50-5255|共4页
作者
孙智坚; 姜浩;
展开▼
作者单位

东南大学,计算机科学与工程系,江苏,南京,210096;

东南大学,计算机科学与工程系,江苏,南京,210096;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
工作流; 时间约束Petri网; 动态修改; 时间一致性;
入库时间 2022-08-18 05:39:04

相似文献

中文文献
外文文献
专利

1. 基于Petri网时间约束工作流的研究与应用 [J] . 杨毅 ,杨新伦 . 广西工学院学报 . 2011,第002期
2. 基于时间约束Petri网的工作流可调度性分析 [J] . 冯林 ,姜浩 . 计算机技术与发展 . 2006,第011期
3. 基于Petri网动态工作流在OA系统中的应用 [J] . 孟艳平 ,凌咏红 . 电子设计工程 . 2011,第007期
4. 基于Petri网的动态工作流在信用担保系统中的应用研究 [J] . 孙铁铮 ,袁帅 . 吉林工程技术师范学院学报 . 2010,第005期
5. 基于Petri网的企业动态工作流研究 [J] . 林国福 . 陕西科技大学学报（自然科学版） . 2010,第006期
6. 一种基于着色Petri网的工作流动态访问控制技术 [C] . 任莹 ,王建民 . 第二十二届中国数据库学术会议 . 2005
7. 基于Petri网的工作流时间约束研究与实现 [A] . 文思佳 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号