Schedulability analysis decision algorithm of timing constraint Petri nets

被引：0
|
作者：
Li, Huifang
Li, Renhou
机构：
来源：
Weidianzixue yu Jisuanji/Microelectronics & Computer | 2000年 / 17卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：18 / 21
相关论文
共 50 条
  • [1] Timing constraint Petri nets and their schedulability analysis and verification
    Song, Wei
    Dou, Wan-Chun
    Liu, Xi-Ping
    [J]. Ruan Jian Xue Bao/Journal of Software, 2007, 18 (01): : 11 - 21
  • [2] Schedulability Analysis Method of Timing Constraint Petri Nets
    李慧芳
    范玉顺
    [J]. Tsinghua Science and Technology, 2002, (06) : 596 - 601
  • [3] 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
  • [4] 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 - +
  • [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] Analysis of workflow schedulability based on time constraint Petri nets
    Feng, Lin
    Jiang, Hao
    [J]. 2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 1208 - 1212
  • [7] Computation method on scheduling reachability decision domain for timing constraint Petri nets
    [J]. Jisuanji Xuebao, 1 (34-39):
  • [8] 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
  • [9] An Algorithm for Linear Constraint Transformation in Petri Nets
    You Dan
    Wang ShouGuang
    Wang ChengYing
    [J]. PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 2396 - 2401
  • [10] 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
12345