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
来源：
Kongzhi Lilun Yu Yingyong/Control Theory and Applications | 2024年 / 41卷 / 11期
关键词：
D O I：
10.7641/CTA.2023.20968
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2103 / 2111
相关论文
共 50 条
  • [41] Modeling flexible real time systems with preemptive time Petri nets
    Bucci, G
    Fedeli, A
    Sassoli, L
    Vicario, E
    15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2003, : 279 - 286
  • [42] Real-time scheduling of batch systems using Petri nets and linear logic
    Soares, Michel dos Santos
    Julia, Stephane
    Vrancken, Jos
    JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (11) : 1983 - 1996
  • [43] Time-point-interval Prioritized Time Petri Nets Modelling Real-time Systems and TCTL Checking
    He L.-F.
    Liu G.-J.
    Ruan Jian Xue Bao/Journal of Software, 2022, 33 (08): : 2947 - 2963
  • [44] ADAPTIVE RESOURCE ALLOCATION FOR REAL-TIME SERVICES IN OFDMA SYSTEMS
    Huo, Changqin
    Sesay, Abu B.
    Fapojuwo, Abraham O.
    2010 23RD CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2010,
  • [45] Real-Time Adaptive Allocation of Emergency Department Resources and Performance Simulation Based on Stochastic Timed Petri Nets
    Wang, Jun
    Wang, Jiacun
    IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2023, 10 (04) : 1986 - 1996
  • [46] Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets
    Nigro, Libero
    Cicirelli, Franco
    MATHEMATICS, 2024, 12 (06)
  • [47] Initial synchronization of TDMA communication in distributed real-time systems
    Lonn, H
    19TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1999, : 370 - 379
  • [48] Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTLx
    He, Leifeng
    Liu, Guanjun
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2023, 19 (08) : 8784 - 8794
  • [49] Towards a new schedulability technique of real-time systems modeled by P-time Petri nets
    Patrice Bonhomme
    The International Journal of Advanced Manufacturing Technology, 2013, 67 : 759 - 769
  • [50] Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets
    Bucci, G
    Sassoli, L
    Vicario, E
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2005, 31 (11) : 913 - 927
12345