Return to Article Details Towards Model Checking Reconfigurable Petri Nets using Maude Download Download PDF