Managing complexity of modeling industrial processes with P/T nets | IEEE Conference Publication | IEEE Xplore