✦ LIBER ✦

Reduction of the supervisory control problem for Petri nets

✍ Scribed by G. Stremersch; R. Boel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Blocking and controllability of Petri ne

✍ Giua, A.; DiCesare, F. 📂 Article 📅 1994 🏛 IEEE 🌐 English ⚖ 728 KB

Modeling and Supervisory Control of Rail

✍ Giua, A.; Seatzu, C. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 644 KB

Supervisory control of deterministic Pet

✍ R. Kumar; L. Holloway 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 720 KB

Supervisory control of Petri nets using

✍ Alpan, G.; Gaujal, B. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 314 KB

An application of Petri nets to supervis

✍ Jin-Shyan Lee; Meng-Chu Zhou; Pau-Lo Hsu 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 529 KB

SAT-Solving the Coverability Problem for

✍ ParoshAziz Abdulla; S.Purushothaman Iyer; Aletta Nylén 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 148 KB