The main objective of this paper is to provide empirical evidence for the use of Workflow Nets derived from classical Petri Nets, in order to verify the feasibility of implementing a methodological approach, developed to ...