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]
@inproceedings{GhasemiehRHC15,
title = {Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions},
author = {Hamed Ghasemieh and Anne Remke and Boudewijn R. Haverkort and Gianfranco Ciardo},
year = {2015},
url = {https://dl.acm.org/doi/10.4108/eai.4-1-2016.151093},
researchr = {https://researchr.org/publication/GhasemiehRHC15},
cites = {0},
citedby = {0},
pages = {127-134},
booktitle = {VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany, December 14-16, 2015},
editor = {William J. Knottenbelt and Katinka Wolter and Ana Busic and Marco Gribaudo and Philipp Reinecke},
publisher = {ACM},
isbn = {978-1-63190-096-9},
}