✦ LIBER ✦

Comment/correction: dependability modeling using Petri nets

✍ Scribed by Bansch, K.; Hein, A.; Malhotra, M.; Trivedi, K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling Multithreaded Applications Usin

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

Modeling and Analysis of Workflows Using

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

Modeling of communication protocols by u

✍ M. Ilyas; H. Khalil 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 223 KB

Dependability modeling of real-time syst

✍ Cristian Constantinescu; Kishor Trivedi 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 489 KB

Modelling Opacity Using Petri Nets

✍ Jeremy W. Bryans; Maciej Koutny; Peter Y.A. Ryan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Modeling resource management in cellular

✍ Jaimes-Romero, F.J.; Munoz-Rodriguez, D.; Molina, C.; Tawfik, H. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 289 KB