✦ LIBER ✦

A Systematic Approach to the Petri Net Based Specification of Concurrent Systems

✍ Scribed by Antonino Mazzeo; Nicola Mazzocca; Stefano Russo; Valeria Vittorini

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compositional Petri Net Approach to the

✍ N. A. Anisimov; E. A. Golenkov; D. I. Kharitonov 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 115 KB

A Petri net-based object-oriented approa

✍ Emilia Villani; Jean C. Pascal; Paulo E. Miyagi; Robert Valette 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 618 KB

Petri net approach to the analysis of a

✍ G.S. Hura 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 227 KB

A graph-based approach to the compositio

✍ Manuel Koch 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 247 KB

A comparison of temporal Petri net techn

✍ J.S. Sagoo; D.J. Holding 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 623 KB

Using a Petri-Net-Based Approach for the

✍ M. Uzam; H. Jones; I. Yücel 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 412 KB