FanIn.csv 402 B

12345678
  1. time,model_path,transition_type,next_ta,inputs,outputs,state
  2. 0.000000,Top.Sender1,INIT,1.000000,none,none,Cycles: 1
  3. 0.000000,Top.Sender2,INIT,1.000000,none,none,Cycles: 1
  4. 0.000000,Top.Receiver,INIT,inf,none,none,Cycles: 1
  5. 1.000000,Top.Sender1,INTERNAL,inf,none,out:[42],Cycles: 0
  6. 1.000000,Top.Receiver,EXTERNAL,inf,"in:[42, 42]",none,Cycles: 1
  7. 1.000000,Top.Sender2,INTERNAL,inf,none,out:[42],Cycles: 0