✦ LIBER ✦

Stubborn Sets for Real-Time Petri Nets

✍ Scribed by Robert H. Sloan; Ugo Buy

Book ID: 110264368
Publisher: Springer
Year: 1997
Tongue: English
Weight: 146 KB
Volume: 11
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008629725384

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-time specification using Petri nets

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

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

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

model checking for time Petri nets

✍ Hanifa Boucheneb; Rachid Hadjidj 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 554 KB

Reduction rules for time Petri nets

✍ Robert H. Sloan; Ugo Buy 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 486 KB