Sensitivity analysis of discrete event systems by the “push out” method · Study