Performance analysis using coloured Petri nets

被引：9
|
作者：
Wells, L [1 ]
机构：
[1] Univ Aarhus, Dept Comp Sci, CPN Ctr, DK-8200 Aarhus N, Denmark
来源：
MASCOTS 2002: 10TH IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS, PROCEEDINGS | 2002年
关键词：
D O I：
10.1109/MASCOT.2002.1167080
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper provides an overview of improved facilities for performance analysis using coloured Petri nets. Coloured Petri nets is a formal method that is well suited for modeling and analyzing large and complex systems. The paper describes steps that have been taken to make a distinction between modeling the behavior of a system and observing the behavior of a model. Performance-related facilities are discussed, including facilities for collecting data, running multiple simulations, generating statistically reliable simulation output, and comparing alternative system configurations.
引用
收藏
页码：217 / 221
页数：5
相关论文
共 50 条
  • [1] Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets
    Hu, Xiang
    Jiao, Li
    Li, Zhijia
    [J]. COMPUTER JOURNAL, 2016, 59 (10): : 1563 - 1580
  • [2] Modelling Search Engines Performance Using Coloured Petri Nets
    Gil-Costa, Veronica
    Marin, Mauricio
    Inostrosa-Psijas, Alonso
    Lobos, Jair
    Bonacic, Carolina
    [J]. FUNDAMENTA INFORMATICAE, 2014, 131 (01) : 139 - 166
  • [3] Specification and performance analysis of embedded systems with coloured Petri nets
    Benders, LPM
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1999, 37 (11-12) : 177 - 190
  • [4] On the analysis and synthesis of coloured Petri nets
    Morel, JY
    Bourcerie, M
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1625 - 1630
  • [5] Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets
    Hu, Xiang
    Jiao, Li
    [J]. 2017 IEEE/ACM 25TH INTERNATIONAL SYMPOSIUM ON QUALITY OF SERVICE (IWQOS), 2017,
  • [6] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    [J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [7] Compositional analysis and synthesis of coloured Petri nets
    Morel, JY
    Vlad, RC
    Bourcerie, M
    [J]. 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES, 2004, : 191 - 196
  • [8] The application of coloured Petri nets in systems analysis
    Sun, X
    Fei, MR
    Sun, YX
    [J]. PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4, 2002, : 582 - 586
  • [9] PERFORMANCE ANALYSIS USING PETRI NETS
    DESROCHERS, AA
    [J]. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1992, 6 (01) : 65 - 79
  • [10] WCET analysis of superscalar processors using simulation with Coloured Petri Nets
    Burns, F
    Koelmans, A
    Yakovlev, A
    [J]. REAL-TIME SYSTEMS, 2000, 18 (2-3) : 275 - 288
12345