𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Specification and performance analysis of embedded systems with coloured petri nets

✍ Scribed by L.P.M. Benders

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
765 KB
Volume
37
Category
Article
ISSN
0898-1221

No coin nor oath required. For personal study only.

✦ Synopsis

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 the disturbance on the communication channels is modelled, too. (~

πŸ“œ SIMILAR VOLUMES

Efficient analysis of concurrent systems
Efficient analysis of concurrent systems by Petri nets
✍ Kunihiko Hiraishi πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 178 KB

In the theoretical analysis of Petri nets there are many results for subclasses of Petri nets restricted by structural or behavioral properties. Recently, new types of analytical methods that are not restricted to special classes of Petri nets have been proposed. These methods aim to improve the ave