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] 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
  • [12] 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
  • [13] 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
  • [14] Petri-Net-Based Scheduling of Flexible Manufacturing Systems Using an Estimate Function
    Xu, Gongdan
    Chen, Yufeng
    SYMMETRY-BASEL, 2022, 14 (05):
  • [15] A Petri-net-based model for the mathematical analysis of multi-agent systems
    Hiraishi, K
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3009 - 3014
  • [16] 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
  • [17] 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
  • [18] A Petri-net-based model for the mathematical analysis of multi-agent systems
    Hiraishi, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (11) : 2829 - 2837
  • [19] Java']Java Software for Petri-Net-Based Approaches to Discrete Event Systems
    Wang, Xiaojun
    Han, Chun
    Hu, Hesuan
    2018 IEEE 14TH INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2018, : 330 - 335
  • [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