Examples

1. E ::

   The messages arriving at E are destroyed.

2.     Exit (E) :: Tis := GT - TIME; Tab(Tis: TablST);
       -----------------------------------------
   
       INIT
          TablST := 0.0, 12, 5.0;
       -----------------------------------------
   
       DECL
          TABLES Tis: TablST;

   The time that the messages remained in the system is computed by subtracting from the actual TIME the generation time GT. This value is recorded in a frequency table.