In: Computers and Mathematics with Applications, Vol. 37, No. 11-12, pages 177-190. 1999.
Abstract: To analyze synchronization, concurrency; communication protocols and system performance, a system level specification is modeled in a colored 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 the disturbance on the communication channels is modeled, too.
Keywords: colored Petri nets, embedded system design.