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 条
  • [11] A Petri-Net-Based Virtual Deployment Testing Environment for Enterprise Software Systems
    Yu, Jian
    Han, Jun
    Schneider, Jean-Guy
    Hine, Cameron
    Versteeg, Steve
    COMPUTER JOURNAL, 2017, 60 (01) : 27 - 44
  • [12] Petri-Net-Based Scheduling of Flexible Manufacturing Systems Using an Estimate Function
    Xu, Gongdan
    Chen, Yufeng
    SYMMETRY-BASEL, 2022, 14 (05):
  • [13] Compositional verification of concurrent systems using Petri-net-based condensation rules
    Juan, EYT
    Tsai, JJP
    Murata, T
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (05): : 917 - 979
  • [14] Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems
    He, Leifeng
    Liu, Guanjun
    Zhou, Mengchu
    IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2023, 10 (02) : 563 - 576
  • [15] 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):
  • [16] A Petri-net-based structure for AS/RS operation modelling
    Hsieh, S
    Hwang, JS
    Chou, HC
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1998, 36 (12) : 3323 - 3346
  • [17] Petri-net-based coordination algorithms for Grid transactions
    Tang, FL
    Li, ML
    Huang, JZX
    Wang, CL
    Luo, ZW
    PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, PROCEEDINGS, 2004, 3358 : 499 - 508
  • [18] PETRI-NET-BASED MODELING AND EVALUATION OF PIPELINED PROCESSING OF CONCURRENT DATABASE QUERIES
    MIKKILINENI, KP
    CHOW, YC
    SU, SYW
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (11) : 1656 - 1667
  • [19] AgvSimNet: A Petri-net-based AGVS simulation system
    Department of Mechanical Engineering, National Taiwan University, Taipei, Taiwan
    不详
    Int J Adv Manuf Technol, 11 (851-861):
  • [20] AgvSimNet: A Petri-Net-Based AGVS Simulation System
    S. Hsieh
    Y.-F. Chen
    The International Journal of Advanced Manufacturing Technology, 1999, 15 : 851 - 861
12345