𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Real-time scheduling of batch systems using Petri nets and linear logic

✍ Scribed by Michel dos Santos Soares; Stéphane Julia; Jos Vrancken


Book ID
108193876
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
502 KB
Volume
81
Category
Article
ISSN
0164-1212

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Real time identification of discrete eve
✍ Mariagrazia Dotoli; Maria Pia Fanti; Agostino Marcello Mangini 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 891 KB

The paper defines the identification problem for Discrete Event Systems (DES) as the problem of inferring a Petri Net (PN) model using the observation of the events and the available output vectors, that correspond to the markings of the measurable places. Two cases are studied considering different