✦ LIBER ✦

Knowledge verification with an enhanced high-level Petri-Net model

✍ Scribed by Chih-Hung Wu; Shie-Jue Lee

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Enhanced high-level Petri nets with mult

✍ Chih-Hung Wu; Shie-Jue Lee 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 673 KB

Qualitative model based verification of

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

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

e-Commerce and supply chains: Modelling

✍ Vipul Jain; S. Wadhwa; S. G. Deshmukh 📂 Article 📅 2005 🏛 Indian Academy of Sciences 🌐 English ⚖ 643 KB

M-nets: An algebra of high-level Petri n

✍ Eike Best; Wojciech Frączak; Richard P. Hopkins; Hanna Klaudel; Elisabeth Pelz 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 539 KB

[Lecture Notes in Computer Science] Petr

✍ Kleijn, Jetty; Yakovlev, Alex 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 629 KB