Modelowanie procesow dyskretnych - bankomat, dokumentacja