Application for the calculation of the maximum blocking times for various protocols, but in particular for the Priority Inheritance Protocol for which the algorithm currently used is not a deterministic polynomial and does not cover all possible cases in the presence of nested resources.