Extension of structured Petri nets for the control of a conveyor system | IET Conference Publication | IEEE Xplore