@inproceedings {1284,
	title = {On the Importance of the Deadlock Trap Property for Monotonic Liveness},
	booktitle = {Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010},
	year = {2010},
	month = {06/2010},
	address = {Braga, Portugal},
	isbn = {978-972-8692-53-7},
	url = {http://www-dssz.informatik.tu-cottbus.de/publications/BioPPN_2010/BioPPN_braga_2010_proceedings.pdf},
	author = {M. Heiner and Mahulea, Cristian and M. Silva}
}

