Jonathan Billington Søren Christensen Kees M. van Hee Ekkart Kindler Olaf Kummer Laure Petrucci Reinier Post Christian Stehno Michael Weber 0003 The Petri Net Markup Language: Concepts, Technology, and Tools. 483-505 2003 conf/apn/2003 ICATPN http://dx.doi.org/10.1007/3-540-44919-1_31 db/conf/apn/icatpn2003.html#BillingtonCHKKPPSW03