@inproceedings {1275,
	title = {Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets},
	booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE{\textquoteright}10},
	year = {2010},
	month = {06/2010},
	pages = {125-140},
	publisher = {University of Hamburg Department of Informatics},
	organization = {University of Hamburg Department of Informatics},
	address = {Braga, Portugal},
	keywords = {Petri nets, software engineering, modelling, validation, verification, application, tool},
	issn = {978-972-8692-55-1},
	doi = {http://epub.sub.uni-hamburg.de/informatik/volltexte/2010/148/},
	url = {http://epub.sub.uni-hamburg.de/informatik/volltexte/2010/148/pdf/B_294_10.pdf},
	author = {C. Rovetto and E. Cano and J.M. Colom},
	editor = {M. Duvigneau and D. Moldt}
}

