✦ LIBER ✦

Conflict handling in high level Petri Nets

✍ Scribed by A. Jávor; Á. Vigh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

High-level algebraic Petri nets

✍ Chieh-Ying Kan; Xudong He 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 914 KB

Parallel program design using high-level

✍ Gorton, Ian 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 930 KB

An object-oriented approach to High-Leve

✍ Antonio Camurri; Paolo Franchi; Maurizio Vitale 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 432 KB

Analysis of controlled technological sys

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

High-Level Timed Petri Nets as a kernel

✍ Miguel Felder; Carlo Ghezzi; Mauro Pezzé 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 978 KB

Qualitative model based verification of

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