https://hal-amu.archives-ouvertes.fr/hal-01488003
Contributor : William Domingues Vinhas <>
Submitted on : Monday, March 13, 2017 - 12:04:15 PM Last modification on : Tuesday, March 14, 2017 - 1:05:35 AM
Maria Cabasino, Alessandro Giua, Carla Seatzu. Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets. J. Campos, C. Seatzu, X. Xie. Formal Methods in Manufacturing, 2014. ⟨hal-01488003⟩