Padberg, J., & Blumreiter, M. (2014). Non-Deterministic Matching Algorithm for Net Transformations. Electronic Communications of the EASST, 68. https://doi.org/10.14279/tuj.eceasst.68.955