For the most recent entries see the Petri Nets Newsletter.

Validation and Performance Analysis of Network Algorithms by Coloured Petri Nets.

Clausen, Henning; Jensen, Peter Ryberg

In: 5th International Workshop on Petri Nets and Performance Models, Toulouse (F) 19.-22. October 1993, pages 280-289. 1993.

Abstract: This paper studies different Usage Parameter Control (UPC) algorithms for high speed Asynchronous Transfer Mode networks. The purpose of the UPC algorithms is to prevent congestion in the network by monitoring input traffic and marking the excess traffic. We model four UPC algorithms by means of hierarchical Coloured Petri Nets with time. The purpose of the model is validation and performance analysis of the algorithms. The behaviour 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. A discussion of the use of Coloured Petri Nets as a modelling and simulation language concludes the paper.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography