Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds

van der Aalst, Wil M. P.

Springer (1994)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the 7th International Conference of ModellingTechniques and Tools for Computer Performance Evaluation
Page(s)/Article-Nr.: 425-444