@inproceedings{Heiner2010On,
  title = {On the Importance of the Deadlock Trap Property for Monotonic Liveness},
  author = {M. Heiner and C. Mahulea and M. Silva},
  year = {2010},
  booktitle = {Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010},
  url = {http://www-dssz.informatik.tu-cottbus.de/publications/BioPPN_2010/BioPPN_braga_2010_proceedings.pdf},
}