✦ LIBER ✦

Petri net based verification of distributed algorithms: An example

✍ Scribed by Ekkart Kindler; Wolfgang Reisig; Hagen Völzer; Rolf Walter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient functional verification algori

✍ Bilinski, K.; Saul, J.M.; Dagless, E.L. 📂 Article 📅 1995 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 650 KB

Petri-net-based algorithms for parallel-

✍ Bilinski, K.; Adamski, M.; Saul, J.M.; Dagless, E.L. 📂 Article 📅 1994 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 366 KB

Petri-net based performance-evaluation o

✍ Lopez-Benitez, N. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 186 KB

Qualitative model based verification of

✍ M. Gerzson; Zs. Csáki; K.M. Mangos 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 402 KB

Verification of Concurrent Assembly Prog

✍ Shengyuan Wang; Yingyi Liang; Yuan Dong 📂 Article 📅 2007 🏛 Bioline International 🌐 English ⚖ 122 KB

A Petri-net algorithm for multiple conti

✍ Jaw-Shyang Wu, 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 853 KB