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 条
  • [1] Minimum Initial Marking Estimation in Labeled Petri Nets
    Li, Lingxi
    Icostis, Christoforos N. Had
    2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 5000 - +
  • [2] Minimum Initial Marking Estimation in Labeled Petri Nets
    Li, Lingxi
    Hadjicostis, Christoforos N.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (01) : 198 - 203
  • [3] Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions
    Ruan, Keyu
    Li, Lingxi
    Wu, Weimin
    IEEE ACCESS, 2019, 7 : 19232 - 19237
  • [4] Teaching Real-Time Systems using Petri nets
    Letia, TS
    Gruita, C
    REAL-TIME SYSTEMS EDUCATION III, PROCEEDINGS, 1999, : 49 - 56
  • [5] GRASP-based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets
    Kmimech, Hichem
    Sliman, Layth
    Nabli, Lotfi
    2019 15TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG 2019), 2019, : 75 - 80
  • [6] Genetic-Based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets
    Kmimech, Hichem
    Telmoudi, Achraf Jabeur
    Sliman, Layth
    Nabli, Lotfi
    IEEE ACCESS, 2020, 8 : 22854 - 22861
  • [7] Discrete time approach of time Petri nets for real-time systems analysis
    Roux, OH
    Delfieu, D
    Molinaro, P
    ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 197 - 204
  • [8] Improving the Verification of Real-Time Systems Using Time Petri Nets
    del Foyo P.M.G.
    Silva J.R.
    Journal of Control, Automation and Electrical Systems, 2017, 28 (6) : 774 - 784
  • [9] 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
  • [10] Reachability analysis of real-time systems using time Petri nets
    Wang, JC
    Deng, Y
    Xu, G
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 725 - 736
12345