Table of Contents
bank07: One Counter
model ()
Customer
Customer arrives, is served and leaves
Source
Source generates customers randomly