✦ LIBER ✦

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

✍ Scribed by Juan, E.Y.T.; Tsai, J.J.P.; Murata, T.; Yi Zhou

Book ID: 117872464
Publisher: IEEE
Year: 2001
Tongue: English
Weight: 646 KB
Volume: 27
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.922714

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

Real-time specification using Petri nets

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

Reduction rules for time Petri nets

✍ Robert H. Sloan; Ugo Buy 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 486 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