General Discussions

Token Provider System – Tabuada’s Way

PH Bytes

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.

tps Token Based System

tps-system

View original post

Advertisements

Let me Know What you Think!

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s