Decision support system based on petri net for a police vehicle command and control system | IEEE Conference Publication | IEEE Xplore