@inproceedings{a2a22a8b66344bd88b69db81dae13849,
title = "Using interval timed coloured Petri nets to calculate performance bounds",
author = "{Aalst, van der}, W.M.P.",
year = "1994",
doi = "10.1007/3-540-58021-2_24",
language = "English",
isbn = "3-540-58021-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "425--444",
editor = "G. Haring and G. Kotsis",
booktitle = "Computer Performance Evaluation : Modelling Techniques and Tools (Proceedings 7th International Conference, Vienna, Austria, May 3-6, 1994)",
address = "Germany",
}