@inproceedings {RP-90-08,
	title = {Minimal Deadlocks in Free Choice nets},
	year = {1990},
	author = {E. Best and M. Silva}
}

