✦ LIBER ✦

Avoiding state explosion in a class of Petri nets

✍ Scribed by Salum, Latif

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improving state class constructions for

✍ Rachid Hadjidj; Hanifa Boucheneb 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 725 KB

Controllability Conditions of Resultant

✍ Wang, ShouGuang; Wang, ChengYing; Zhou, MengChu 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 335 KB

On the reachability and reversibility pr

✍ Ferrarini, L. 📂 Article 📅 1994 🏛 Institute of Electrical and Electronics Engineers ⚖ 913 KB

On Siphon Computation for Deadlock Contr

✍ ZhiWu Li; MengChu Zhou 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 791 KB

A Polynomial Algorithm for Computing Ele

✍ Huixia Liu; Keyi Xing; Feng Wang; Libin Han; Xiaojing Sun 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 617 KB

Deciding a Class of Path Formulas for Co

✍ Hsu-Chun Yen; Bow-Yaw Wang; Ming-Sheng Yang 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 239 KB