Non-Deterministic Matching Algorithm for Net Transformations Padberg, Julia Blumreiter, Mathias 2014 - ReposIt