Invariant-Based Performance Analysis of Timed Petri Net Models

被引：0
|
作者：
Zuberek, W. M. [1 ]
机构：
[1] Mem Univ, Dept Comp Sci, St John, NF A1B 3X5, Canada
来源：
DEPENDABILITY ENGINEERING AND COMPLEX SYSTEMS | 2016年 / 470卷
关键词：
Timed Petri nets; Place invariants; Performance analysis; Incremental model analysis;
D O I：
10.1007/978-3-319-39639-2_52
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In timed Petri nets, temporal properties are associated with transitions as transition firing times (or occurrence times). For net models which can be decomposed into a family of place invariants, performance analysis can be conveniently performed on the basis of its components. The paper presents an approach to finding place invariants of net models and proposes an incremental method which, for large models, can significantly reduce the required amount of computations.
引用
收藏
页码：595 / 604
页数：10
相关论文
共 50 条
  • [1] Performance analysis of traffic control systems based upon Stochastic Timed Petri Net models
    Wang, JC
    Deng, Y
    Jin, C
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2000, 10 (06) : 735 - 757
  • [2] PERFORMANCE ANALYSIS OF TIMED PETRI NET MODELS FOR COMMUNICATION PROTOCOLS - A METHODOLOGY AND A PACKAGE
    ELKARAKSY, MR
    NOUH, AS
    ALOBAIDAN, A
    [J]. COMPUTER COMMUNICATIONS, 1990, 13 (02) : 73 - 82
  • [3] A GENERALIZED TIMED PETRI NET MODEL FOR PERFORMANCE ANALYSIS
    HOLLIDAY, MA
    VERNON, MK
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (12) : 1297 - 1310
  • [4] Formal Analysis of Emergency Department Staffing Based on Stochastic Timed Petri Net Models
    Wang, Jiacun
    Wang, Jun
    Zeng, Qingtian
    Liu, Gaiyun
    [J]. IFAC PAPERSONLINE, 2020, 53 (04): : 405 - 410
  • [5] Timed Petri net models of cluster tools
    Zuberek, WM
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3063 - 3068
  • [6] Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach
    Chen, Chen
    Hu, Hesuan
    [J]. IEEE ACCESS, 2019, 7 : 23149 - 23162
  • [7] Analysis of discrete event systems by simulation of timed Petri net models
    López-Mellado, E
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2002, 61 (01) : 53 - 59
  • [8] TIMED STOCHASTIC PETRI NET MODELS IDENTIFICATION FOR SIMULATION AND RELIABILITY ANALYSIS
    El Medhi, Souleiman Ould
    Leclerq, Edouard
    Lefebvre, Dimitri
    [J]. EUROPEAN SIMULATION AND MODELLING CONFERENCE 2008, 2008, : 456 - 463
  • [9] ANALYSIS OF PETRI-NET PERFORMANCE MODELS
    BILLINGTON, J
    HENDERSON, B
    [J]. PERFORMANCE EVALUATION, 1993, 18 (01) : 1 - 2
  • [10] Timed Petri net models of multithreaded multiprocessor architectures
    Govindarajan, R
    Suciu, F
    Zuberek, WM
    [J]. PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, 1997, : 153 - 162
12345