A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models | IEEE Conference Publication | IEEE Xplore