Michael K. Molloy
-
On Supervisory Policies that Enforce Global Fairness andBounded Fairness in Partially Controlled Petri Nets
Discrete Event Dynamic Systems
Analysis of large GSPN models: a distributed solution tool
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models