Title :
Performance analysis using coloured Petri nets
Author_Institution :
CPN Centre, Univ. of Aarhus, Arhus, Denmark
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;
Conference_Titel :
Modeling, Analysis and Simulation of Computer and Telecommunications Systems, 2002. MASCOTS 2002. Proceedings. 10th IEEE International Symposium on
Print_ISBN :
0-7695-1840-0
DOI :
10.1109/MASCOT.2002.1167080
