Using interval timed coloured Petri nets to calculate performance bounds

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publicationComputer Performance Evaluation : Modelling Techniques and Tools (Proceedings 7th International Conference, Vienna, Austria, May 3-6, 1994)
EditorsG. Haring, G. Kotsis
Place of PublicationBerlin
PublisherSpringer
Pages425-444
ISBN (Print)3-540-58021-2
DOIs
Publication statusPublished - 1994

Publication series

NameLecture Notes in Computer Science
Volume794
ISSN (Print)0302-9743

Cite this

Aalst, van der, W. M. P. (1994). Using interval timed coloured Petri nets to calculate performance bounds. In G. Haring, & G. Kotsis (Eds.), Computer Performance Evaluation : Modelling Techniques and Tools (Proceedings 7th International Conference, Vienna, Austria, May 3-6, 1994) (pp. 425-444). (Lecture Notes in Computer Science; Vol. 794). Springer. https://doi.org/10.1007/3-540-58021-2_24