Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017. pages 178-185, ACM, 2017. [doi]
Abstract is missing.