✦ LIBER ✦

Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets

✍ Scribed by Bernardi, S.; Campos, J.

Book ID: 120418239
Publisher: Institute of Electrical and Electronics Engineers
Year: 2009
Tongue: English
Weight: 379 KB
Volume: 5
Category: Article
ISSN: 1551-3203
DOI: 10.1109/TII.2009.2017201

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reachability analysis of real-time syste

Reachability analysis of real-time systems using time Petri nets

✍ Wang, J.; Deng, Y.; Xu, G. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 285 KB

Reduction methods for real-time systems

Reduction methods for real-time systems using Delay Time Petri Nets

✍ Juan, E.Y.T.; Tsai, J.J.P.; Murata, T.; Yi Zhou 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 646 KB

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

Compositional schedulability analysis of

Compositional schedulability analysis of real-time systems using time Petri nets

✍ Dianxiang Xu; Xudong He; Yi Deng 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 452 KB

Correctness verification and performance

Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets

✍ Bucci, G.; Sassoli, L.; Vicario, E. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 774 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