Discrete Event Modeling: Bank Service Model