time,model_path,transition_type,next_ta,inputs,outputs,state 0.000000,Top.sender1,INIT,2.000000,none,none,Cycles: 1 0.000000,Top.sender2,INIT,2.000000,none,none,Cycles: 1 0.000000,Top.receiver,INIT,inf,none,none,Cycles: 1 2.000000,Top.sender1,INTERNAL,inf,none,out:[42],Cycles: 0 2.000000,Top.sender2,CONFLUENT,inf,in:[42],out:[42],Cycles: 0 2.000000,Top.receiver,EXTERNAL,inf,in:[42],none,Cycles: 1