✦ 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
DOI: 10.1016/j.jss.2008.01.018

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Off-Line Computation of Real-Time Schedu

Off-Line Computation of Real-Time Schedules Using Petri Nets

✍ E. Grolleau; A. Choquet-Geniet 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 988 KB

Real time identification of discrete eve

Real time identification of discrete event systems using Petri nets

✍ 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

Modelling and verification of real-time

Modelling and verification of real-time software using interpreted petri nets

✍ F. Arendt; B. Klühe 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 695 KB

The specification and design of hard rea

The specification and design of hard real-time systems using timed and temporal petri nets

✍ J.S. Sagoo; D.J. Holding 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 556 KB

Minimizing cycle time and group scheduli

Minimizing cycle time and group scheduling, using Petri nets a study of heuristic methods

✍ Ibrahim Kattan; Boleslaw Mikolajczak; Khalid Kattan; Bassam Alqassar 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 252 KB

Real-time Dynamic Optimization of Non-li

Real-time Dynamic Optimization of Non-linear Batch Systems

✍ Nathaniel Peters; Martin Guay; Darryl Dehaan 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 229 KB 👁 1 views