Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis. Expressing and Computing Passage Time Measures of GSPN Models with HASL. In José Manuel Colom, Jörg Desel, editors, Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Volume 7927 of Lecture Notes in Computer Science, pages 110-129, Springer, 2013. [doi]
Abstract is missing.