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 条
  • [31] Elimination of duplicate labels in Petri-net-based system specification
    Cheung, KS
    Chow, KO
    FIFTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - PROCEEDINGS, 2005, : 932 - 936
  • [32] A Petri-net-Based model of equipment virtual maintenance process
    Liu, YL
    Xu, ZC
    FOURTH INTERNATIONAL CONFERENCE ON VIRTUAL REALITY AND ITS APPLICATIONS IN INDUSTRY, 2004, 5444 : 527 - 530
  • [33] A Petri-net-based Method For Detecting Bugs in Multiple Threads
    Sun, Jiaquan
    Liu, Guanjun
    Xiang, Dongming
    Jiang, Changjun
    PROCEEDINGS OF THE 2019 IEEE 16TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC 2019), 2019, : 150 - 156
  • [34] PETRI-NET-BASED DEADLOCK ANALYSIS OF PROCESS ALGEBRA PROGRAMS
    RONDOGIANNIS, P
    CHENG, MHM
    SCIENCE OF COMPUTER PROGRAMMING, 1994, 23 (01) : 55 - 89
  • [35] DSP-ARCHITECTURE DESIGN WITH A PETRI-NET-BASED SIMULATOR
    RAUTIOLA, K
    JOKITALO, P
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 565 - 572
  • [36] A FAST PETRI-NET-BASED SEQUENCE CONTROLLER IMPLEMENTED ON A DSP
    DISTEFANO, A
    MIRABELLA, O
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1994, 9 (06) : 375 - 381
  • [37] Petri-net-based coordination motion control for legged robot
    Zhao, GT
    Zheng, HJ
    Wang, JS
    Li, TM
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 581 - 586
  • [38] PETRI-NET-BASED ALGORITHMS FOR PARALLEL-CONTROLLER SYNTHESIS
    BILINSKI, K
    ADAMSKI, M
    SAUL, JM
    DAGLESS, EL
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (06): : 405 - 412
  • [39] Verification of workflow task structures: A Petri-net-based approach
    van der Aalst, WMP
    ter Hofstede, AHM
    INFORMATION SYSTEMS, 2000, 25 (01) : 43 - 69
  • [40] ACCESS-CONTROL AND VERIFICATION IN PETRI-NET-BASED HYPERDOCUMENTS
    STOTTS, PD
    FURUTA, R
    COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 49 - 55
12345