✦ LIBER ✦

Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees

✍ Scribed by ZhiJun Ding; ChangJun Jiang; MengChu Zhou

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Augmented reachability trees for 1-place

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

Comments on "A Modified Reachability Tre

✍ Yu Ru; Wu, W.; Hadjicostis, C.N. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 52 KB

Deadlock Prevention Based on Structure R

✍ ZhiWu Li; GaiYun Liu; Hanisch, H.; MengChu Zhou 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 420 KB

Enumeration algorithms for minimal sipho

✍ Cordone, R.; Ferrarini, L.; Piroddi, L. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 307 KB

Real-time deadlock-free scheduling for s

✍ Naiqi Wu; MengChu Zhou 📂 Article 📅 2006 🏛 Springer 🌐 German ⚖ 308 KB

Comments on "An iterative synthesis appr

✍ Zhi Wu Li; Gai Yun Liu 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 52 KB