“…To a careful observer, flow and optimization problems and probabilistic concurrent systems are not so unrelated, since the probability mass concentrated in the initial state can be seen as a liquid that flows and distributes in the network representing the possible evolution of the system. To highlight this connection, in this survey we consider a selection of papers [29,30,55,57] that, together with other works in concurrency literature such as [2,4,13,15,20,21,43,45], make use of flow and optimization problems to decide or solve efficiently the challenges of probabilistic concurrent systems.…”