A tool implementing the method of conditional moments for a sub-class of PEPA and Bio-PEPA models.