Consistency of P-time event graphs is decidable in polynomial time (extended version)

Davide Zorzenon, Jörg Raisch

P-time event graphs are discrete event systems able to model cyclic production systems where tasks need to be performed within given time windows. Consistency is the property of ad…