广西科技大学学报

2011, v.22(02) 65-69

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

基于Petri网时间约束工作流的研究与应用
Research and Application of Temporal Constraint Workflow Based on Petri Nets

杨毅;杨新伦;

摘要(Abstract):

针对目前工作流管理系统中时间管理研究现状,以基于时间Petri网的工作流建模方法为基础,把时态逻辑引入到控制流中,给出其形式化定义.借助相关的理论,全面、系统地分析该模型的时态特性,提出基本模型等效变化规则,对复杂工作流的进行时间约束的等效变换,对存在时间冲突的活动进行动态调整;最后以一个实例对文中提出的方法进行了论证和检验.

关键词(KeyWords): 工作流模型;Petri网;时态信息;冲突;检测

Abstract:

Keywords:

基金项目(Foundation): 广西工学院自然科学基金项目(0977102)资助

作者(Author): 杨毅;杨新伦;

Email:

文章评论(Comment):

序号(No.) 时间(Time) 反馈人(User) 邮箱(Email) 标题(Title) 内容(Content)
反馈人(User) 邮箱地址(Email)
反馈标题(Title)
反馈内容(Content)
扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享