The top documents tagged [petri nets theory]

Concurrent Programming

---

619 views

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

---

216 views

BPEL4WS Stewart Green University of the West of England.

---

218 views