@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}
}

