✦ LIBER ✦

Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets

✍ Scribed by Yu Yue Du; Chang Jun Jiang; Meng Chu Zhou

Book ID: 117937570
Publisher: IEEE
Year: 2007
Tongue: English
Weight: 358 KB
Volume: 37
Category: Article
ISSN: 1083-4427
DOI: 10.1109/tsmca.2007.902622

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

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

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

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

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

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