TokenRing

A cyclic token-ring arbiter composed of three blocks.
\ \ MoML specification for this model. \

This system arbitrates fairly among requests for exclusive access to a shared resource by marching a token around a ring. In each instant, the arbiter grants access to the first requestor to the right of the block with the token.

In this model, Block1 starts with the token (see the parameter of the NonStrictDelay actor inside of BlockN).

This example is from:
Stephen A. Edwards and Edward A. Lee, "The Semantics and Execution of a Synchronous Block-Diagram Language," Technical Memorandum UCB/ERL M01/33, University of California, Berkeley, CA 94720, October 25, 2001.