Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort. Analysis of a sewage treatment facility using hybrid Petri nets. In Andras Horvath, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante, editors, 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013. pages 165-174, ACM, 2013. [doi]