Alessandro Giua, Carla Seatzu, Yorai Wardi: Application of IPA to Fluid Petri Nets. ADHS 2009: 268-273