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 条
  • [41] Property specification for coloured Petri nets
    Roubtsova, EE
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 2617 - 2622
  • [42] A brief introduction to Coloured Petri Nets
    Jensen, K
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 203 - 208
  • [43] Coloured Petri Nets for Chronicle Recognition
    Choppy, Christine
    Bertrand, Olivier
    Carle, Patrice
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009, 2009, 5570 : 266 - +
  • [44] Using Coloured Petri Nets to model and verify telecommunications systems
    Nepomniaschy, Valery
    Beloglazov, Dmitry
    Churina, Tatiana
    Mashukov, Mikhail
    [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2008, 5010 : 360 - 371
  • [45] Modelling the WAP transaction service using coloured Petri nets
    Gordon, S
    Billington, J
    [J]. MOBILE DATAT ACCESS, 1999, 1748 : 109 - 118
  • [46] MODELING OF COLLABORATIVE PRODUCTION SYSTEMS USING COLOURED PETRI NETS
    Igei, Percy
    Cugnasca, Carlos E.
    Junqueira, Fabricio
    Miyagi, Paulo E.
    Garcia, Jose I.
    [J]. PECCS 2011: PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON PERVASIVE AND EMBEDDED COMPUTING AND COMMUNICATION SYSTEMS, 2011, : 257 - 260
  • [47] Stability verification of Proxy Firewall using Coloured Petri Nets
    Lee, MK
    [J]. SAM'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, VOLS 1 AND 2, 2003, : 352 - 358
  • [48] Faster Simulation of (Coloured) Petri Nets Using Parallel Computing
    Pommereau, Franck
    de la Houssaye, Jordan
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 37 - 56
  • [49] Modelling of AS/RS Using Hierarchical and Timed Coloured Petri nets
    Kucera, Erik
    Hruz, Branislav
    [J]. 2014 23RD INTERNATIONAL CONFERENCE ON ROBOTICS IN ALPE-ADRIA-DANUBE REGION (RAAD), 2014,
  • [50] A simplified passenger flow model using Coloured Petri Nets
    Takagi, R
    Roberts, C
    Goodman, CJ
    [J]. COMPUTERS IN RAILWAYS VIII, 2002, 13 : 481 - 488
12345