@inproceedings {262,
	title = {A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets},
	booktitle = {12th International Conference on Application and Theory of Petri Nets},
	year = {1991},
	month = {06/1991},
	pages = {237-256},
	publisher = {IBM Deutschland},
	organization = {IBM Deutschland},
	address = {Gjern, Denmark},
	url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/91_CC_Gjern.ps.gz},
	author = {J. Campos and J.M. Colom}
}

