Data Flow Diagram       ===>   Information Structure
                                         
           |---> M31                    M2 transaction control
           |                             |
   M1 ->  M2  -> M32      ===>      -----------    
input      |                        |         |
           |---> M33              M1         M30 dispatcher
                                              |
                                          ---------
 Note: M2 is transaction node             |   |   |
                                         M31 M32  M33