Towards Model Checking Reconfigurable Petri Nets using Maude Padberg, Julia Schulz, Alexander 2014 - ReposIt
Non-Deterministic Matching Algorithm for Net Transformations Padberg, Julia Blumreiter, Mathias 2014 - ReposIt