Petriweb: A Repository for Petri Nets. - R. Goud; Kees M. van Hee; R. D. J. Post; Jan Martijn E. M. van der Werf (ICATPN, 2006)