Petri Nets Modelling of Assembly Robots Coordination | IEEE Conference Publication | IEEE Xplore