节点文献

基于Petri网时间约束工作流的研究与应用

免费订阅

【作者】 杨毅杨新伦

【Author】 YANG Yi,YANG Xin-lun(Department of Computer Engineering,Guangxi University of Technology,Liuzhou 545006,China)

【机构】 广西工学院计算机工程系

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

【关键词】 工作流模型Petri网时态信息冲突检测
【基金】 广西工学院自然科学基金项目(0977102)资助
  • 【DOI】10.16375/j.cnki.cn45-1395/t.2011.02.011
  • 【分类号】TP311.52
  • 【被引频次】1
  • 【下载频次】66
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: