✦ LIBER ✦

On reachability graphs of Petri nets

✍ Scribed by Xinming Ye; Jiantao Zhou; Xiaoyu Song

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hierarchical Reachability Graph Generati

✍ Peter Buchholz; Peter Kemper 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 508 KB

On persistent reachability in Petri nets

✍ Kamila Barylska; Łukasz Mikulski; Edward Ochmanski 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 343 KB

Synthesis of deadlock prevention policy

✍ Yi-Sheng Huang; Ta-Hsiang Chung; Pin-June Su 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 328 KB

Reachability in Petri Nets with Inhibito

✍ Klaus Reinhardt 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 491 KB

Reachability trees for Petri nets: a heu

✍ G. Uma; B.E. Prasad 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Reachability of nonsynchronized choice P

✍ Chao, D.Y. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 441 KB