The top documents tagged [marking reachable]

Soundness problem for Resource-Constrained Workflow nets.

---

241 views

1 Petri Nets Ina Koch and Monika Heiner. 2 Petri Nets(1962) Carl Adam Petri.

---

245 views