Petri Nets based coordination of flexible autonomous guided vehicles in flexible manufacturing systems | IEEE Conference Publication | IEEE Xplore