Associative memory for modified Petri-net based monitoring of mobile robot navigation | IEEE Conference Publication | IEEE Xplore