Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo. Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. In William J. Knottenbelt, Katinka Wolter, Ana Busic, Marco Gribaudo, Philipp Reinecke, editors, VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany, December 14-16, 2015. pages 127-134, ACM, 2015. [doi]