Token provider system is the simpler version of token based system, where tokens are provided to the customers to provide the service on the first come first serve basis.
The system modeled here works by providing the next token number for every new customer who walks in. The token number starts from 1 and moves up until 1000. On reaching 1000, the counter is reset to 1 back again. A token is issued by the system, whenever a request is made to the system.
We shall represent the system using Tabuada’s Notation. A brief Introduction of Tabuada System can be found HERE.