PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes. - Martin Riesz; Martin Seckár; Gabriel Juhás (ACSD/Petri Nets Workshops, 2010)