A tool for the automatic derivation of symbolic ode from symmetric net models