ctrl Coin = 0;
ctrl Heads = 0;
ctrl Tails = 0;
float wheads = 2;
float wtails = 1;
react flipH = Coin -[wheads]-> Heads;
react flipT = Coin -[wtails]-> Tails;
big s0 = Coin | Coin | Coin | Coin | Coin | Coin | Coin;
begin pbrs
init s0;
rules = [{flipH, flipT}];
end