The bicategory of bimodular automata is similar to the bicategories of processes of Katis, Sabadini and Walters.
