Compact modeling of manufacturing systems with petri nets | IEEE Conference Publication | IEEE Xplore