✦ LIBER ✦

model checking for time Petri nets

✍ Scribed by Hanifa Boucheneb; Rachid Hadjidj

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

Model checking workflow net based on Pet

✍ Zhou Conghua; Chen Zhenyu 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 430 KB

Petri nets and time modelling

✍ Latif Salum 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 185 KB

Reduction rules for time Petri nets

✍ Robert H. Sloan; Ugo Buy 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 486 KB

Timed petri nets

📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 152 KB

Sequential and Distributed Model Checkin

✍ Alexander Bell; Boudewijn R. Haverkort 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 285 KB