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 条
  • [31] Modeling and analysis of real-time cooperative systems using Petri nets
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (05): : 643 - 654
  • [32] SPECIFICATION AND VALIDATION OF REAL-TIME SYSTEMS BY MEANS OF PETRI QUEUE NETS
    MARTIN, R
    MEMMI, G
    REVUE TECHNIQUE THOMSON-CSF, 1981, 13 (03): : 635 - 653
  • [33] QoS-based resource allocation in dynamic real-time systems
    Judd, R
    Drews, F
    Lawrence, D
    Juedes, D
    Leal, B
    Deshpande, J
    Welch, L
    ACC: PROCEEDINGS OF THE 2005 AMERICAN CONTROL CONFERENCE, VOLS 1-7, 2005, : 1745 - 1751
  • [34] Specification and analysis of real-time systems using csp and petri nets
    Kavi, KM
    Sheldon, FT
    Reed, S
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (02) : 229 - 248
  • [35] Holistic resource allocation for multicore real-time systems
    Xu, Meng
    Linh Thi Xuan Phan
    Choi, Hyon-Young
    Lin, Yuhan
    Li, Haoran
    Lu, Chenyang
    Lee, Insup
    25TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2019), 2019, : 345 - 356
  • [36] Analysis of event-driven real-time systems with time Petri nets - A translation-based approach
    Gu, ZH
    Shin, KG
    DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 31 - 40
  • [37] Generating real-time software test cases by time Petri nets
    Lin, J.C.
    Ho, I.
    International Journal of Computers and Applications, 2000, 22 (03) : 151 - 158
  • [38] An integrated approach to modeling and analysis of embedded real-time systems based on timed Petri nets
    Gu, ZH
    Shin, KG
    23RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 350 - 359
  • [39] Analysis of real-time concurrent systems models based on CSP using Stochastic Petri nets
    Sheldon, FT
    SIMULATION: PAST, PRESENT AND FUTURE, 1998, : 776 - 783
  • [40] Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets
    Singh, Lalit Kumar
    Rajput, Hitesh
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2018, 26 (02) : 415 - 426
12345