For the most recent entries see the Petri Nets Newsletter.

Modelling and Initial Analysis of the Resource Reservation Protocol using Coloured Petri Nets.

Villapol, M.E.; Billington, J.

In: Jensen, K.: DAIMI PB, No. 547: Workshop Proceedings Practical Use of High-level Petri Nets, pages 91-110. University of Aarhus, Department of Computer Science, June 2000.

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

Back to the Petri Nets Bibliography