Decidability Questions for Fairness in Petri Nets.

Heino Carstensen

Browse the full STACS paper archive.