HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Classic and non-prophetic model checking for hybrid Petri nets with stochastic firingsCarina Pilch, Arnd Hartmanns, Anne Remke. hybrid 2020: [doi]

runs on WebDSL