tr t0 : a [0,w[ p0 -> tr t1 : b [0,1] p1 -> pl p0 (1) pl p1 (1) net C1