Algebraic structure with two binary operations concatenation and multiplication on the set of digraphs with exactly one source and one sink

Two binary operations were described: concatenation and multiplication, that are conducted on a set of digraphs with exactly one source and one sink. We proved algebraic properties of these operations, criteria of existence of king, described ways of defining flow after conducting operations on digraphs or networks.