Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm