✦ LIBER ✦

Reachability trees for Petri nets: a heuristic approach

✍ Scribed by G. Uma; B.E. Prasad

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A modified reachability tree approach to

✍ Fei-Yue Wang; Yanqing Gao; MengChu Zhou 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 187 KB

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

Hierarchical Reachability Graph Generati

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

Mathematical programming approach to the

✍ Thomas Bourdeaud’huy; Saïd Hanafi; Pascal Yim 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 429 KB

Deadlock Checking for One-Place Unbounde

✍ ZhiJun Ding; ChangJun Jiang; MengChu Zhou 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 139 KB