A tool for distributed modeling of nets (DIMON) | IEEE Conference Publication | IEEE Xplore