Inproceedings,

Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds.

.
Computer Performance Evaluation, volume 794 of Lecture Notes in Computer Science, page 425-444. Springer, (1994)

Meta data

Tags

Users

  • @dblp
  • @wvdaalst

Comments and Reviews