Simulation and Control of a Bottling Plant using First-order Hybrid Petri Nets. - Roberta Armosini; Alessandro Giua; Maria Teresa Pilloni; Carla Seatzu (POSTA, 2003)