J. Padberg and M. Blumreiter, “Non-Deterministic Matching Algorithm for Net Transformations”, eceasst, vol. 68, Oct. 2014.