управляющее устройство (напр. ГПС) на базе сетей Петри
PETRI NET CONTROLLER
Англо-русский перевод PETRI NET CONTROLLER
Воскобойников Б.С., Митрович В.Л.. English-Russian dictionary of mechanical engineering and automation. Англо-Русский словарь по машиностроению и автоматизации производства. 2003