Decidability of Waek Fairness in Petri Nets.

Petr Jancar

Browse the full STACS paper archive.