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