Sami Evangelista. High Level Petri Nets Analysis with Helena. In Gianfranco Ciardo, Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings. Volume 3536 of Lecture Notes in Computer Science, pages 455-464, Springer, 2005. [doi]
Abstract is missing.