Alberto Castellini Vincenzo Manca Luca Marchetti MP Systems and Hybrid Petri Nets. 53-62 2007 NICSO http://dx.doi.org/10.1007/978-3-540-78987-1_5 series/sci/2008-129 db/series/sci/sci129.html#CastelliniMM07