@inproceedings {RP-91-10,
	title = {Petri Nets as a specification language for manufacturing systems},
	year = {1991},
	month = {7},
	author = {J. Ezpeleta and J. Mart{\'\i}nez}
}

