Analysis of a protocol handling system specification and its performance

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. This is illustrated with a data-link protocol system, where also the disturbance on the communication channels is modelled.<>