Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems⁎This work was supported by NSF 1256260 and NSF 1544678. Issue 4 (2020)