@inproceedings{8f60f301ba7f42e5bf93240e0b12aa74,
title = "Interval timed coloured Petri nets and their analysis",
author = "{Aalst, van der}, W.M.P.",
year = "1993",
doi = "10.1007/3-540-56863-8_61",
language = "English",
isbn = "3-540-56863-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "453--472",
editor = "{Ajmone Marsan}, M.",
booktitle = "Application and Theory of Petri Nets 1993 (Proceedings 14th International Conference, Chicago IL, USA, June 21-25, 1993)",
address = "Germany",
}