✦ LIBER ✦

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

✍ Scribed by Dianxiang Xu; Xudong He; Yi Deng

Book ID: 117936520
Publisher: IEEE
Year: 2002
Tongue: English
Weight: 452 KB
Volume: 28
Category: Article
ISSN: 0098-5589
DOI: 10.1109/tse.2002.1041054

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

Real-Time Systems || Timed Petri Nets

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 171 KB 👁 2 views

## TIMED PETRI NETS Petri nets were developed as an operational formalism for specifying untimed concurrent systems. They can show concurrent activities by depicting control and data flows in different parts of the modeled system. As an operational formalism, a Petri net gives a dynamic representa

Modeling and Analysis of Real-Time Coope

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

✍ Yu Yue Du; Chang Jun Jiang; Meng Chu Zhou 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 358 KB

Real-time specification using Petri nets

✍ K. Sacha 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 595 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 Systems || Real-Time Schedulin

Real-Time Systems || Real-Time Scheduling and Schedulability Analysis

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 301 KB 👁 2 views