2 Modeling primitives

A. Törn - Contents - - Previous chapter - Next chapter - - Previous page - Next page

2.2 Some other primitives

Part of the exposition is taken from Kimbler.

Sequence is a trivial construct. 

             _             _
     ( )--->|_|--->( )--->|_|
Conflict, concurrency and synchronization is illustrated by 
 
                      ______
                     |______|       ( )  ( )  ( )
     (  )            /   |  \        \    |    /
     / |\           v    v   v        \   |   /
    /  | \         ( )  ( ) ( )       _v__v__v_
   /   |  \         |    |   |       |_________|
 _v    v   v_      _v    v   v_           |
 |_|  |_|  |_|     |_|  |_|  |_|          v
                                         ( )
and confusion, merging and priority/inhibit by 
 
                      _    _    _
   ( )      ( )      |_|  |_|  |_|   ( )   ( )
   / \      / \        \   |   /      |\    |
  v_  v_____v  v_       \  |  /       | \   |
  |_| |_____|  |_|       v v v        |  \  |
                         (   )        v_  v_o
                           |          |_| |__|
                           v_
                          |_|
One arrival, single server queuing system by 
                         SERVICE
                _           _
        (•)<-->|_|-->( )-->|_|-->( ) SERVED ITEMS
         GENERATOR  QUEUE   ^
                            |
                            v
                           (•) SERVER
How would you model a one arrival, two server queuing system?