Exploiting symmetry for partitioning models in parallel discrete event simulation | IEEE Conference Publication | IEEE Xplore