Model Checking for reconfigurable Petri nets. - Alexander Schulz 003 (CoRR, 2014)

Towards Model Checking Reconfigurable Petri Nets using Maude. - Julia Padberg; Alexander Schulz 003 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Model Checking Reconfigurable Petri Nets with Maude. - Julia Padberg; Alexander Schulz 003 (ICGT, 2016)