Molecules

Ran(cargo)

Ran cargo

C(site,Y1~u~p,Y2~u~p,Y3~u~p)

C site Y1 u p Y2 u p Y3 u p

RCC1(site)

RCC1 site

Species

Ran(cargo!1).C(site!1,Y1~u,Y2~u,Y3~u)

Ran 1cargo C 1site Y1 u Y2 u Y3 u

RCC1(site)

RCC1 site

Observables

Ran()

Ran cargo

C()

C site Y1 u p Y2 u p Y3 u p

RCC1()

RCC1 site

C(Y1~p!?) @nuc

C site Y1 p Y2 u p Y3 u p

C()

C site Y1 u p Y2 u p Y3 u p

C(Y1~p!?,Y2~p!?,Y3~p!?)

C site Y1 p Y2 p Y3 p

Ran(cargo!+)

Ran cargo

Reaction Rules

Ran(cargo!+) <-> Ran(cargo!+)

Ran cargo

Ran(cargo!1).C(site!1) <-> Ran(cargo) + C(site)

Ran 1 ⬆⬇cargo C 1 ⬆⬇site Y1 u p Y2 u p Y3 u p

C(Y3~u!?) <-> C(Y3~p!?)

C site Y1 u p Y2 u p Y3 u p take all branches, once each, in any order⬇⬇

C(Y2~u!?) <-> C(Y2~p!?)

C site Y1 u p Y2 u p take all branches, once each, in any order⬇⬇ Y3 u p

C(Y1~u!?) <-> C(Y1~p!?)

C site Y1 u p take all branches, once each, in any order⬇⬇ Y2 u p Y3 u p

Ran(cargo) + RCC1(site) <-> Ran(cargo!1).RCC1(site!1)

Ran 1 ⬆⬇cargo RCC1 1 ⬆⬇site

Ran(cargo!1).C(site!1) <-> Ran(cargo) + C(site)

Ran 1 ⬆⬇cargo C 1 ⬆⬇site Y1 u p Y2 u p Y3 u p