María Adela Grando David Glasspool John Fox Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages. 348-360 2008 Business Process Management Workshops http://dx.doi.org/10.1007/978-3-642-00328-8_35 conf/bpm/2008w db/conf/bpm/bpmw2008.html#GrandoGF08