%agent: A(x{u p}) %var: 'n' 10000 %init: 'n' A() /* Exponential law */ A() -> . @ 1 %obs: 'A' |A()| %agent: D() %init: 'n'/2 D() /* Constant */ %obs: 'REF' |D()| %agent: B(x{u p}) %init: 'n' B() /* Erlang process with parameter 2, rate not fitted */ B(x{u}) -> B(x{p}) @ 2 B(x{p}) -> . @ 2 %obs: 'B' |B()| %agent: C(x{u p}) %init: 'n' C() /* Erlang process with parameter 2, rate fitted */ %var: 'kc' 2.38 C(x{u}) -> C(x{p}) @ 'kc' C(x{p}) -> . @ 'kc' %obs: 'C' |C()| %mod: |A()| < ('n'/2) && |B()| < ('n'/2) && |C()| < ('n'/2) do $STOP ;