✦ LIBER ✦

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

✍ Scribed by E. Grolleau; A. Choquet-Geniet

Book ID: 110340182
Publisher: Springer
Year: 2002
Tongue: English
Weight: 988 KB
Volume: 12
Category: Article
ISSN: 0924-6703
DOI: 10.1023/a:1015673516542

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-time scheduling of batch systems us

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

✍ Michel dos Santos Soares; Stéphane Julia; Jos Vrancken 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 502 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

Formal Synthesis of Real-Time Embedded S

Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets

✍ Pao-Ann Hsiung; Chuen-Hau Gau 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 216 KB

Computation of the makespan in a transfe

Computation of the makespan in a transfer line with station breakdowns using stochastic petri nets

✍ F. Archetti; E. Fagiuoli; A. Sciomachen 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 574 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