Wil M. P. van der Aalst. Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds. In Günter Haring, Gabriele Kotsis, editors, Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings. Volume 794 of Lecture Notes in Computer Science, pages 425-444, Springer, 1994.
Abstract is missing.