@article {RP-92-12, title = {B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems}, journal = {Journal of Computer and System Sciences}, volume = {44}, year = {1992}, month = {6}, pages = {447-477}, author = {M. Silva and T. Murata} }