/* What are the intended semantics of this model? In PEPA, we'd enable two activities - one with rate 1, another with rate f(1,2). Each time round, one would win, another not. However, what here? I guess we just consider that maybe the (a,2) will fire before (a,1), and if it does, we have a choice of which derivative to take. Is that a weighted choice? */ #A = (a,1).(b,2).(c,4).A; #B = (a,T).(f,1).B + (a,2).(g,1).B; A B