𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Analysing a mechatronic system with coloured Petri nets

✍ Scribed by Gilles Moncelet; Søren Christensen; Hamid Demmou; Mario Paludetto; José Porras

Publisher
Springer
Year
1998
Tongue
English
Weight
175 KB
Volume
2
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Modelling automated manufacturing system
Modelling automated manufacturing systems using a modification of coloured petri nets
✍ V.P. Kochikar; T.T. Narendran 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 808 KB

Automated manufacturing systems (AMS) are a class of systems exhibiting concurrency, asyuchronicity and distributedness, and can be modelled using Petri nets. The advantage of using Petri nets is that they provide graphical models, with formal methods of analysis. However, graphical representation o