A computational approach based on the colored Petri net formalism for studying multiple sclerosis