net wodes222 tr f1 : F1 p1_3 -> p2_3 tr t1_1 [2,3] p1_1 -> p1_2 tr t1_2 [2,3] p1_2 -> p1_3 tr t1_3 : TT1_3 [1,7] p1_3 -> p1_4 tr t2_1 [3,3] p2_1 -> p2_2 tr t2_2 [4,4] p2_2 -> p2_3 tr t2_3 : TT2_3 [5,10] p2_3 -> p2_4 tr te : TTe [1,1] p1_4 p2_4 -> p0 tr ts : TTs [1,2] p0 -> p1_1 p2_1 pl p0 (2)