@inproceedings{Kovacs-Gonczy-GV-VMT06, author = {M\'at\'e Kov\'acs and L\'aszl\'o G\"onczy}, title = {Simulation and {F}ormal {A}nalysis of {W}orkflow {M}odels}, booktitle = {Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques}, editor = {Roberto Bruni and Daniel Varro}, year = 2006, pages = {215-224}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, address = {Vienna, AUSTRIA}, }