HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. - Carina Pilch; Fabian Edenfeld; Anne Remke (VALUETOOLS, 2017)