The top documents tagged [y z b c]

Concurrent Programming

---

619 views

10. Petri Nets Prof. O. Nierstrasz. Roadmap Definition: —places, transitions, inputs, outputs —firing enabled transitions Modelling: —concurrency.

---

216 views