✦ LIBER ✦

From Petri Nets to Automata with Concurrency

✍ Scribed by Manfred Droste; R. M. Shortt

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concurrent Computing: from Petri Nets to

✍ Andrea Corradini 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 616 KB

Expertext: From semantic nets to logic P

✍ Roy Rada; Paul E.S. Dunne; Judith Barlow 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 965 KB

A stochastic petri net with applications

✍ Stephen D. Shapiro 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 199 KB

A Systematic Approach to the Petri Net B

✍ Antonino Mazzeo; Nicola Mazzocca; Stefano Russo; Valeria Vittorini 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 252 KB

Compositional Petri Net Approach to the

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

Verification of Concurrent Assembly Prog

✍ Shengyuan Wang; Yingyi Liang; Yuan Dong 📂 Article 📅 2007 🏛 Bioline International 🌐 English ⚖ 122 KB