Initial resource allocation of real-time systems based on minimum initial states of labeled time Petri nets

被引:0
|
作者
Wang, Chen [1 ]
Li, Liang [1 ]
Liu, Bin [1 ]
机构
[1] School of Information Science and Engineering, Wuhan University of Science and Technology, Hubei, Wuhan,430081, China
关键词
D O I
10.7641/CTA.2023.20968
中图分类号
学科分类号
摘要
引用
收藏
页码:2103 / 2111
相关论文
共 50 条
  • [21] Schedule modeling based on Petri nets for distributed real-time embedded systems
    Zhang, Haitao
    Ai, Yunfeng
    Jisuanji Gongcheng/Computer Engineering, 2006, 32 (18): : 6 - 8
  • [22] Some Issues in Real-Time Systems Verification Using Time Petri Nets
    Gonzalez del Foyo, Pedro M.
    Silva, Jose Reinaldo
    JOURNAL OF THE BRAZILIAN SOCIETY OF MECHANICAL SCIENCES AND ENGINEERING, 2011, 33 (04) : 467 - 474
  • [23] MODELING REAL-TIME SYSTEMS BY EXTENDING THE NOTION OF PETRI NETS
    BAYEV, VV
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1993, 31 (03) : 119 - 123
  • [24] Analysis of real-time system conflict based on fuzzy time Petri nets
    Tian, Zhao
    Zhang, Zun-Dong
    Ye, Yang-Dong
    Jia, Li-Min
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2014, 26 (02) : 983 - 991
  • [25] Stubborn Sets for Real-Time Petri Nets
    Robert H. Sloan
    Ugo Buy
    Formal Methods in System Design, 1997, 11 : 23 - 40
  • [26] Stubborn sets for real-time Petri nets
    Sloan, RH
    Buy, U
    FORMAL METHODS IN SYSTEM DESIGN, 1997, 11 (01) : 23 - 40
  • [27] Real-time implementation of Petri nets into PLC
    Pivonka, Petr
    Chomat, Ludek
    PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 585 - +
  • [28] REAL-TIME PROGRAMS TESTING WITH PETRI NETS
    LAMARCHE, G
    TAILLIBERT, P
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 83 - 87
  • [29] REAL-TIME SPECIFICATION USING PETRI NETS
    SACHA, K
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 607 - 614
  • [30] Integrating Petri nets with design methods for concurrent and real-time systems
    Pettit, RG
    Gomaa, H
    SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 168 - 171