For the most recent entries see the Petri Nets Newsletter.

Specification and performance analysis of embedded systems with colored Petri nets.

Benders, L.P.M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography