Sequence controller synthesis for automated guided vehicle systems Using ordinary Petri nets | IEEE Conference Publication | IEEE Xplore