@inproceedings {RP-87-05,
	title = {Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets},
	year = {1987},
	month = {3},
	pages = {1180-1185},
	author = {P. Muro and M. Silva}
}

