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 条
  • [21] Schedulability verification of real-time systems with extended time Petri nets
    Okawa, Y.
    Yoneda, T.
    [J]. International journal of mini & microcomputers, 1996, 18 (03): : 148 - 156
  • [22] Design and analysis of workflow processes with Petri nets
    Coves, C
    Crestani, D
    Prunet, F
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 101 - 106
  • [23] Research on workflow patterns based on Petri nets
    Zhang, Liang
    [J]. 2006 IEEE Conference on Robotics, Automation and Mechatronics, Vols 1 and 2, 2006, : 163 - 168
  • [24] New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages
    Naija, Mohamed
    Ben Ahmed, Samir
    Bruel, Jean-Michel
    [J]. 2015 10TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), VOL 1, 2015, : 330 - 338
  • [25] Fuzzy Time Constraint Propagation Mechanism for Workflow Nets
    Cristina, Joslaine
    de Freitas, Jeske
    Julia, Stephane
    [J]. 2015 12TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY - NEW GENERATIONS, 2015, : 367 - 372
  • [26] Learning Workflow Petri Nets
    Esparza, Javier
    Leucker, Martin
    Schlund, Maximilian
    [J]. FUNDAMENTA INFORMATICAE, 2011, 113 (3-4) : 205 - 228
  • [27] Learning Workflow Petri Nets
    Esparza, Javier
    Leucker, Martin
    Schlund, Maximilian
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 206 - 225
  • [28] Modeling and Analysis of Workflow Integration Using Petri Nets
    Yamaguchi, Shingo
    Watanabe, Yuki
    Tanaka, Minoru
    [J]. INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2010, 13 (03): : 673 - 680
  • [29] The Analysis on Grid Workflow's Deadlock by Petri Nets
    Wang, Baoyi
    Zhang, Shaomin
    Xue, Qiaoli
    [J]. 2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 5432 - 5437
  • [30] A method of workflow scheduling based on colored Petri nets
    Xiao, Zhijiao
    Ming, Zhong
    [J]. DATA & KNOWLEDGE ENGINEERING, 2011, 70 (02) : 230 - 247
12345