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