✦ LIBER ✦

Reachability analysis of real-time systems using time Petri nets

✍ Scribed by Wang, J.; Deng, Y.; Xu, G.

Book ID: 117874626
Publisher: IEEE
Year: 2000
Tongue: English
Weight: 285 KB
Volume: 30
Category: Article
ISSN: 1083-4419
DOI: 10.1109/3477.875448

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 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 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