文献知网节
  • 记笔记

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

杨毅杨新伦

广西工学院计算机工程系

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

    10.16375/j.cnki.cn45-1395/t.2011.02.011

  • 专辑:

    工程科技Ⅱ辑; 信息科技

  • 专题:

    计算机软件及计算机应用

  • 分类号:

    TP311.52

  • 手机阅读
    即刻使用手机阅读
    第一步

    扫描二维码下载

    "移动知网-全球学术快报"客户端

    第二步

    打开“全球学术快报”

    点击首页左上角的扫描图标

    第三步

    扫描二维码

    手机同步阅读本篇文献

  • HTML阅读
  • CAJ下载
  • PDF下载

下载手机APP用APP扫此码同步阅读该篇文章

下载:69 页码:65-69 页数:5 大小:388K

相关文献推荐
  • 相似文献
  • 读者推荐
  • 相关基金文献
  • 关联作者