Infinite precedence graphs for consistency verification in P-time event graphs

Davide Zorzenon, Jörg Raisch

Precedence constraints are inequalities used to model time dependencies. In 1958, Gallai proved that a finite system of precedence constraints admits solutions if and only if the c…