View of Towards Model Checking Reconfigurable Petri Nets using Maude

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