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
关键词
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 条
  • [31] Research on Workflow Model of EOMS Based on Petri Nets
    Li Hui
    Li Jing-yi
    Guo Mei
    Zhang Zhen-hua
    [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON IT IN MEDICINE & EDUCATION, VOLS 1 AND 2, PROCEEDINGS, 2009, : 803 - +
  • [32] Workflow Model Based on Stochastic Petri Nets and Performance
    Xue Hai-yan
    Wang Yan
    [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON IT IN MEDICINE & EDUCATION, VOLS 1 AND 2, PROCEEDINGS, 2009, : 245 - 249
  • [33] FlowManager: a workflow management system based on Petri nets
    Aversano, L
    Cimitile, A
    Gallucci, P
    Villani, ML
    [J]. 26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 1054 - 1059
  • [34] Research of Workflow engine based on PETRI nets and FLEX
    Zhang Shaomin
    Luo Zhuangqiang
    Wang Baoyi
    [J]. 2012 2ND INTERNATIONAL CONFERENCE ON APPLIED ROBOTICS FOR THE POWER INDUSTRY (CARPI), 2012, : 163 - 166
  • [35] The simulation and research of the workflow modeling based on Petri nets
    Meng Guang-Xue
    Guo Hong
    Wu Jing
    [J]. PROCEEDINGS OF THE 2017 7TH INTERNATIONAL CONFERENCE ON ADVANCED DESIGN AND MANUFACTURING ENGINEERING (ICADME 2017), 2017, 136 : 131 - 135
  • [36] Modeling approach for workflow testing based on Petri nets
    [J]. Zheng, C.-Y., 1600, Univ. of Electronic Science and Technology of China (43):
  • [37] Workflow Petri Nets with Time Stamps and Their Using in Project Management
    Martinik, Ivo
    [J]. COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT, CISIM 2018, 2018, 11127 : 193 - 206
  • [38] Design and Analysis on Emergency Rescue Workflow of Metro Construction Based on Petri Nets
    Wang, Shuqiang
    Wang, Qiankun
    Liu, Kunyu
    [J]. 2011 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), VOLS 1-4, 2012, : 1646 - 1649
  • [39] Safety Analysis based on Stochastic Time Petri Nets
    Peng, Ying
    Yao, Shu-zhen
    Tan, Huo-bin
    [J]. 2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND APPLICATIONS (CSA), 2015, : 287 - 292
  • [40] A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets
    Bruno, Lorena
    Julia, Stephane
    [J]. ICEIS: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 1, 2022, : 537 - 544