Carina Pilch, Fabian Edenfeld, Anne Remke. HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017. pages 186-191, ACM, 2017. [doi]
Abstract is missing.