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 条
  • [31] Schedulability verification of real-time systems with extended time Petri nets
    Okawa, Y.
    Yoneda, T.
    International journal of mini & microcomputers, 1996, 18 (03): : 148 - 156
  • [32] Constraint programming with object-oriented Petri nets
    Sanders, MJ
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 289 - 294
  • [33] Controller design of DES Petri nets with mixed constraint
    Tao, Z. (TZ771009@tom.com), 1600, Chinese Journal of Aeronautics (18):
  • [34] Evolving Petri nets with a genetic algorithm
    Mauch, H
    GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS, 2003, 2724 : 1810 - 1811
  • [35] An algorithm for Petri nets reachability by unfoldings
    Miyamoto, T
    Nakano, S
    Kumagai, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (03) : 500 - 503
  • [36] Fuzzy-timing Petri nets with choice probabilities for response time analysis
    Yim, Jaegeol
    Lee, Kye-Young
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 4, PROCEEDINGS, 2007, 4490 : 652 - +
  • [37] NONEXPONENTIAL TIMING STOCHASTIC PETRI NETS WITH LIMITED HISTORY
    IVANOV, NN
    AUTOMATION AND REMOTE CONTROL, 1995, 56 (04) : 573 - 582
  • [38] Comparing Semantics Under Strong Timing of Petri Nets
    Virbitskaite, Irina
    Bushin, Dmitry
    PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 376 - 384
  • [39] Decision support with logical and fuzzy petri nets
    Lehocki, Fedor
    Juhas, Gabriel
    Lorenz, Robert
    Szczerbicka, Helena
    Drozda, Martin
    CYBERNETICS AND SYSTEMS, 2008, 39 (06) : 617 - 640
  • [40] Decision modeling procedure and layered petri nets
    Wang, HW
    He, Y
    Fei, Q
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 1876 - 1881
12345