Zaslat SMS: Stochastic models of manufacturing systems