✦ LIBER ✦

Analysing a missile simulator with coloured Petri nets

✍ Scribed by Steven Gordon; Jonathan Billington

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Analysing superscalar processor architec

Analysing superscalar processor architectures with coloured Petri nets

✍ F.P. Burns; A.M. Koelmans; A.V. Yakovlev 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 169 KB

Development of a shipyard simulator base

Development of a shipyard simulator based on Petri nets

✍ Kazuhiro Aoyama; Toshiharu Nomoto; W Kentaro 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 513 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

Web-based interfaces for simulation of c

Web-based interfaces for simulation of coloured Petri net models

✍ Bo Lindstrom 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 389 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