On the use of exact lumpability in partially symmetrical well-formed nets | IEEE Conference Publication | IEEE Xplore