@inbook {1503,
	title = {Performance evaluation and control of manufacturing systems: A continuous Petri nets view},
	booktitle = {Formal Methods in Manufacturing},
	year = {2014},
	pages = {409-452},
	publisher = {CRC Press Taylor & Francis},
	organization = {CRC Press Taylor & Francis},
	issn = {9781466561557},
	url = {http://www.crcpress.com/product/isbn/9781466561557},
	author = {M. Silva and E. Fraca and L. Wang}
}

