✦ LIBER ✦

Modeling of communication protocols by using petri nets

✍ Scribed by M. Ilyas; H. Khalil

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling and verification of the SDL-spe

✍ V. A. Nepomniaschy; V. S. Argirov; D. M. Beloglazov; A. V. Bystrov; E. A. Chetve 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 213 KB

Verification of Estelle-Specified Commun

✍ V. A. Nepomniaschy; G. I. Alekseev; A. V. Bystrov; S. P. Myl'nikov; E. V. Okunis 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 78 KB

Generic Petri net models of protocol mec

✍ Martin Bosch; Günter Schmid 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 920 KB

Modeling Multithreaded Applications Usin

✍ Krishna M. Kavi; Alireza Moshtaghi; Deng-jyi Chen 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 511 KB

Engineering deontic protocols by means o

✍ Stéphanie Combettes; Chihab Hanachi; Christophe Sibertin-Blanc 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 484 KB

Modeling and Analysis of Workflows Using

✍ Nabil R. Adam; Vijayalakshmi Atluri; Wei-Kuang Huang 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 381 KB