Padberg, J. and Schulz, A. (2014) “Towards Model Checking Reconfigurable Petri Nets using Maude”, Electronic Communications of the EASST, 68. doi: 10.14279/tuj.eceasst.68.953.