✦ LIBER ✦

Timed Petri nets and timed automata: On the discriminating power of zeno sequences

✍ Scribed by Patricia Bouyer; Serge Haddad; Pierre-Alain Reynier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

✍ Cassez, Franck; Jard, Claude 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 460 KB

Fault Section Estimation of Power System

✍ Chun-Ling Yang; Akmiko Yokoyama; Yasuji Sekine 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 910 KB

The expressive power of time Petri nets

✍ Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O.H. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 802 KB

The efficiency of identifying timed auto

✍ Sicco Verwer; Mathijs de Weerdt; Cees Witteveen 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 562 KB

Specification and Analysis of the MPEG-2

✍ Valentín Valero; Fernando L. Pelayo; Fernando Cuartero; Diego Cazorla 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 168 KB

The specification and design of hard rea

✍ J.S. Sagoo; D.J. Holding 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 556 KB