An application of LLP supervisory control with Petri net models in mobile robots | IEEE Conference Publication | IEEE Xplore