✦ LIBER ✦

The use of Petri Nets for Occam programming for transputers

✍ Scribed by Michael W.S. Lau; Gerald Seet

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A multi-layer transputer network for eff

✍ Miroslaw Szturmowicz; Marek Tudruj 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 506 KB

Petri nets for proving some correctness

✍ János Szlankó 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 588 KB

A solution to the covering problem for 1

✍ Javier Esparza 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 605 KB

Relational algebraic framework for the m

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

Using Petri nets for performance analysi

✍ Gurdeep S. Hura 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 485 KB

Representation and analysis of behavior

✍ Q. Jin; Y. Sugasawa 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 771 KB