Abstract: Finite automata (FAs) are popular tools to characterize discrete event systems (DESs) due to their succinctness. However, capturing data flow between systems and their environments using FAs ...