Padberg, J.; Schulz, A. Towards Model Checking Reconfigurable Petri Nets Using Maude. eceasst 2014, 68.