A Petri-net coordination model for an intelligent mobile robot | IEEE Journals & Magazine | IEEE Xplore