Padberg, J.; Blumreiter, M. Non-Deterministic Matching Algorithm for Net Transformations. eceasst 2014, 68.