Petri-net-based evaluation of the performance of distributed systems

被引：0
|
作者：
Shirochin, V.P. [1 ]
Moskalkov, A.M. [1 ]
Obeidat, A.-S. [1 ]
机构：
[1] Kiev Polytechnical Inst, Ukraine
来源：
| 1600年 / Gordon & Breach Science Publ Inc, Newark, NJ, United States卷 / 12期
关键词：
4;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Petri-net based performance-evaluation of distributed homogeneous task systems
    Lopez-Benitez, N
    IEEE TRANSACTIONS ON RELIABILITY, 2000, 49 (02) : 188 - 198
  • [2] A Petri-Net-Based Automated Distributed Dynamic Channel Assignment for Cellular Network
    Lin, Shin-Yeu
    Chan, Ting-Yu
    IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2009, 58 (08) : 4540 - 4553
  • [3] A Petri-net-based communication-aware modeling for performance evaluation of NOC application mapping
    Raeisi-Varzaneh, Mostafa
    Sabaghian-Bidgoli, Hossein
    JOURNAL OF SUPERCOMPUTING, 2020, 76 (11): : 9246 - 9269
  • [4] A Petri-net-based correctness analysis of Internet stock trading systems
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 38 (01): : 93 - 99
  • [5] A Petri-Net-Based Anytime A∗ Search for Scheduling Resource Allocation Systems
    Lv, Jianyong
    Huang, Bo
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2024, 20 (02) : 2865 - 2872
  • [6] A Petri-net-based communication-aware modeling for performance evaluation of NOC application mapping
    Mostafa Raeisi-Varzaneh
    Hossein Sabaghian-Bidgoli
    The Journal of Supercomputing, 2020, 76 : 9246 - 9269
  • [7] Matlab tools for Petri-Net-Based approaches to flexible manufacturing systems
    Mahulea, C
    Barsan, L
    Pastravanu, O
    LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01), 2001, : 199 - 204
  • [8] Petri-net-based robust supervisory control of automated manufacturing systems
    Yue, Hao
    Xing, Keyi
    Hu, Hesuan
    Wu, Weimin
    Su, Hongye
    CONTROL ENGINEERING PRACTICE, 2016, 54 : 176 - 189
  • [9] Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach
    deFigueiredo, JCA
    Perkusich, A
    FUZZY SETS AND SYSTEMS, 1996, 83 (02) : 143 - 168
  • [10] Compositional verification of concurrent systems using Petri-net-based condensation rules
    Univ of Illinois at Chicago, Chicago, United States
    ACM Trans Program Lang Syst, 5 (917-979):
12345