✦ LIBER ✦

Modular Reachability Analysis of Petri Nets for Multiagent Systems

✍ Scribed by Miyamoto, Toshiyuki; Horiguchi, Kyota

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reachability analysis of real-time syste

✍ Wang, J.; Deng, Y.; Xu, G. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 285 KB

Structuring Acyclic Petri Nets for Reach

✍ G. Stremersch; R. K. Boel 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 476 KB

Analysis of timed petri nets for reachab

✍ Nassar, Khaled; Casavant, Albert 📂 Article 📅 2008 🏛 Vilnius Gediminas Technical University 🌐 English ⚖ 631 KB

Property analysis of logic Petri nets by

✍ Du, Yuyue; Ning, Yuhui 📂 Article 📅 2014 🏛 Springer-Verlag 🌐 English ⚖ 560 KB

Modular synthesis of Petri nets for mode

✍ Der Jeng, Mu 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 965 KB

Local area network implementation of pet

✍ L. Anneberg; E. Yaprak 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 353 KB