✦ LIBER ✦

A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets

✍ Scribed by Liu, Ding; Li, ZhiWu; Zhou, MengChu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Supervisor Synthesis for Enforcing a Cla

✍ Jiliang Luo; Weimin Wu; Hongye Su; Jian Chu 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 282 KB

Liveness-enforcing supervisor design for

✍ Li, Z.; Zhang, J.; Zhao, M. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 574 KB

On Compositionality of Boundedness and L

✍ Dworzański, Leonid W. ;Lomazova, Irina A. 📂 Article 📅 2012 🏛 IOS Press 🌐 English ⚖ 327 KB

Self-liveness of a class of Petri net mo

✍ Zhong, C.; Li, Z. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 439 KB

Design and implementation of a petri net

✍ Meng Chu Zhou; Frank Dicesare; Daryl L. Rudolph 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 982 KB

Deadlock Prevention for a Class of Petri

✍ Meng Qin; ZhiWu Li; MengChu Zhou; Khalgui, M.; Mosbahi, O. 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 317 KB