Performance analysis using coloured Petri nets

Author

Wells, Lisa

Author_Institution

CPN Centre, Univ. of Aarhus, Arhus, Denmark

fYear

2002

fDate

2002

Firstpage

217

Lastpage

221

Abstract

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.

Keywords

Petri nets; digital simulation; formal specification; protocols; OSI network architecture; coloured Petri nets; data collection; data link control layer; formal method; model behavior; network protocols; performance analysis; statistically reliable simulation output; stop-and-wait protocol; system behavior modeling; Analytical models; Computational modeling; Computer science; Debugging; Explosions; Information analysis; Performance analysis; Petri nets; Protocols; Telecommunication computing;

fLanguage

English

Publisher

ieee

Conference_Titel

Modeling, Analysis and Simulation of Computer and Telecommunications Systems, 2002. MASCOTS 2002. Proceedings. 10th IEEE International Symposium on

ISSN

1526-7539

Print_ISBN

0-7695-1840-0

Type

conf

DOI

10.1109/MASCOT.2002.1167080

Filename

1167080