Validation and performance analysis of network algorithms by coloured Petri nets

Different usage parameter control (UPC) algorithms for high-speed asynchronous transfer mode (ATM) networks are studied. The purpose of the UPC algorithms is to prevent congestion in the network by monitoring input traffic and marking the excess traffic. Four UPC algorithms are modeled by means of hierarchical colored Petri nets with time. The purpose of the model is validation and performance analysis of the algorithms. The behavior of each algorithm is investigated when confronted with different kinds of traffic sources, e.g., video or videophony. The investigations determine the triggered jumping window algorithm to be the most suitable for a majority of traffic types. The use of colored Petri nets as a modeling and simulation language is discussed