L. J. Steggles: Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. ICATPN 2001: 363-381