✦ LIBER ✦

Analysing superscalar processor architectures with coloured Petri nets

✍ Scribed by F.P. Burns; A.M. Koelmans; A.V. Yakovlev

Publisher: Springer
Year: 1998
Tongue: English
Weight: 169 KB
Volume: 2
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090050026

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Analysing a missile simulator with colou

Analysing a missile simulator with coloured Petri nets

✍ Steven Gordon; Jonathan Billington 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 274 KB

Analysing a mechatronic system with colo

Analysing a mechatronic system with coloured Petri nets

✍ Gilles Moncelet; Søren Christensen; Hamid Demmou; Mario Paludetto; José Porras 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 175 KB

Specification and performance analysis o

Specification and performance analysis of embedded systems with coloured petri nets

✍ 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

Formal requirements modelling with execu

Formal requirements modelling with executable use cases and coloured Petri nets

✍ Jens B. Jørgensen; Simon Tjell; João M. Fernandes 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 814 KB

Modelling, simulation and scheduling of

Modelling, simulation and scheduling of flexible assembly systems with coloured Petri nets

✍ O. V. Krishnaiah Chetty; O. C. Gnanasekaran 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 905 KB

DSP-architecture design with a Petri-net

DSP-architecture design with a Petri-net-based simulator

✍ Kyösti Rautiola; Pekla Jokitalo 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 701 KB