✦ LIBER ✦

High level Petri net modelling and analysis of VME-based multiprocessors

✍ Scribed by George Hassapis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Qualitative model based verification of

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

Analysis of controlled technological sys

✍ M. Gerzson; K.M. Hangos 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 542 KB

Modelling and recovery analysis of prote

✍ Lawrence Jenkins; H.P. Khincha 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 685 KB

Model and control holonic manufacturing

✍ Fu-Shiung Hsieh 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 260 KB

Timed Petri net: An expeditious tool for

✍ G.B. Reddy; S.S.N. Murty; K. Ghosh 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 1010 KB

Relational algebraic framework for the m

✍ Kim Young Chan; Kim Tag Gon 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 935 KB