J. Padberg and A. Schulz, “Towards Model Checking Reconfigurable Petri Nets using Maude”, eceasst, vol. 68, Oct. 2014.