✦ LIBER ✦

Structure reduction of liveness-enforcing Petri nets using mixed integer programming

✍ Scribed by Shao-Yong Li; Zhi-Wu Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Liveness and Ratio-Enforcing Supervision

✍ HeSuan Hu; MengChu Zhou; ZhiWu Li 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 410 KB

General mixed integer programming-based

✍ Liu, G.; Li, Z. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 446 KB

On the suboptimal liveness-enforcing sup

✍ Na Wei; Zhiwu Li 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 242 KB

Reliability modeling of parallel program

✍ Ho Tsu-Feng; Chan Wah-Chun; Chung Chyan-Goei 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 812 KB