✦ LIBER ✦

Synthesis of petri net supervisors enforcing general constraints

✍ Scribed by Yao-yao Zhang; Gang-feng Yan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Synthesis of Structurally Simple Supervi

✍ ZhiWu Li; MingMing Yan; MengChu Zhou 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 257 KB

Supervisor Synthesis for Enforcing a Cla

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

Design of T-liveness enforcing superviso

✍ Iordache, M.V.; Antsaklis, P.J. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 853 KB

Most permissive liveness-enforcing Petri

✍ Chen, YuFeng; Li, ZhiWu; Zhou, MengChu 📂 Article 📅 2012 🏛 Taylor and Francis Group 🌐 English ⚖ 332 KB

Design of liveness-enforcing supervisors

✍ Chun-Fu Zhong; Zhi-Wu Li 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 255 KB

A parameterized liveness and ratio-enfor

✍ Liu, Ding; Li, ZhiWu; Zhou, MengChu 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 750 KB