A visual token-based formalization of BPMN 2.0 based on in-place transformations

Pieter Van Gorp, Remco Dijkman
2013 Information and Software Technology  
doi:10.1016/j.infsof.2012.08.014 fatcat:hsx7ql23y5fpng3mk5a3sd4iqy