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