Specification and performance analysis o
โ
L.P.M. Benders
๐
Article
๐
1999
๐
Elsevier Science
๐
English
โ 765 KB
To analyze synchronization, concurrency, communication protocols and system performance, a system level specification is modelled in a coloured Petri net. A toolbox collects information for the implementation, e.g., processing times, waiting times, idle times, data accesses, processing requests. Thi