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] 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
  • [32] PETRI-NET-BASED DEADLOCK ANALYSIS OF PROCESS ALGEBRA PROGRAMS
    RONDOGIANNIS, P
    CHENG, MHM
    SCIENCE OF COMPUTER PROGRAMMING, 1994, 23 (01) : 55 - 89
  • [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 HYPERTEXT - DOCUMENT STRUCTURE WITH BROWSING SEMANTICS
    STOTTS, PD
    FURUTA, R
    ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1989, 7 (01) : 3 - 29
  • [35] 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
  • [36] DSP-ARCHITECTURE DESIGN WITH A PETRI-NET-BASED SIMULATOR
    RAUTIOLA, K
    JOKITALO, P
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 565 - 572
  • [37] 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
  • [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] 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
  • [40] Verification of workflow task structures: A Petri-net-based approach
    van der Aalst, WMP
    ter Hofstede, AHM
    INFORMATION SYSTEMS, 2000, 25 (01) : 43 - 69
12345