Model Checking Reconfigurable Petri Nets with Maude - Julia Padberg and Alexander Schulz (2016)