✦ LIBER ✦

Hierarchical Reachability Graph Generation for Petri Nets

✍ Scribed by Peter Buchholz; Peter Kemper

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On reachability graphs of Petri nets

✍ Xinming Ye; Jiantao Zhou; Xiaoyu Song 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 151 KB

Synthesis of deadlock prevention policy

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

A Sufficient Condition for Reachability

✍ Parthasarathy Ramachandran; Manjunath Kamath 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 159 KB

Augmented reachability trees for 1-place

✍ Mu Der Jeng; Mao Yu Peng 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 393 KB

Reachability trees for Petri nets: a heu

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

Structuring Acyclic Petri Nets for Reach

✍ G. Stremersch; R. K. Boel 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 476 KB