Modeling of helper robots in manufacturing systems using Petri Nets | IEEE Conference Publication | IEEE Xplore