"Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time ..."

José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics