Analysis of workflow schedulability based on time constraint Petri nets

被引：0
|
作者：
Feng, Lin [1 ]
Jiang, Hao [1 ]
机构：
[1] Southeast Univ, Dept Comp Sci & Engn, Nanjing 210018, Peoples R China
来源：
2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2 | 2006年
关键词：
workflow; time constraint Petri nets; models analysis; Schedulability;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
It is important to introduce time to control execution of workflow effectively in the area of workflow research. Firstly, time is introduced to workflow model based on Petri net and the time constraint Petri net model of workflow is established Based on the analysis of time constraint and schedulability of models, the analysis and verification method and corresponding. algorithm is. proposed. Finally, the analysis and verification process is illustrated by an example.
引用
收藏
页码：1208 / 1212
页数：5
相关论文
共 50 条
  • [1] Schedulability analysis of workflow based on fuzzy timing constraint Petri nets
    Tian, Feng
    Xing, Keyi
    Li, Renhou
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 708 - 712
  • [2] Compositional schedulability analysis of workflow using timing constraint petri nets
    Li, Peng
    Gu, Qing
    Cao, Keqiang
    Chen, Daoxu
    Zhu, Jiangmin
    [J]. PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 548 - +
  • [3] Schedulability Analysis Method of Timing Constraint Petri Nets
    李慧芳
    范玉顺
    [J]. Tsinghua Science and Technology, 2002, (06) : 596 - 601
  • [4] Research and Application of Time Workflow Model Based on Timing Constraint Petri Nets
    Pang, Hui
    Fang, Zong-de
    Li, Hong-yan
    Yang, Xiao-hui
    [J]. CEIS 2011, 2011, 15
  • [5] TIMING CONSTRAINT PETRI NETS AND THEIR APPLICATION TO SCHEDULABILITY ANALYSIS OF REAL-TIME SYSTEM SPECIFICATIONS
    TSAI, JJP
    YANG, SJ
    CHANG, YH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (01) : 32 - 49
  • [6] Schedulability Analysis of Petri Nets Based on Structural Properties
    Liu, Cong
    Kondratyev, Alex
    Watanabe, Yosinori
    Desel, Joerg
    Sangiovanni-Vincentelli, Alberto
    [J]. FUNDAMENTA INFORMATICAE, 2008, 86 (03) : 325 - 341
  • [7] Time Performance Analysis of Workflow Model Based on Petri Nets
    Pan, Hailan
    Chen, Jian
    [J]. 2013 INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND MANAGEMENT SCIENCE (ICIEMS 2013), 2013, : 1153 - 1158
  • [8] Time Petri nets for workflow modelling and analysis
    Ling, S
    Schmidt, H
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3039 - 3044
  • [9] A Mixed Semantics Model for Schedulability Analysis of Time Petri Nets
    Pan, Li
    Zhao, Weidong
    [J]. ICMECG: 2009 INTERNATIONAL CONFERENCE ON MANAGEMENT OF E-COMMERCE AND E-GOVERNMENT, PROCEEDINGS, 2009, : 503 - 508
  • [10] Compositional schedulability analysis of real-time systems using time Petri nets
    Xu, DX
    He, XD
    Deng, Y
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (10) : 984 - 996
12345