Minimum path edge-cover or minimum flow with unit capacities and DAGs
Eventually, I found an answer myself and I used it to implement this bioinformatics library: 

http://bioinformatics.oxfordjournals.org/content/early/2012/05/02/bioinformatics.bts258.abstract

(see the supplementary data for a theoretical analysis on minimum covering path set).