Petrinets for the BTC <=> XMR swap protocol - View it on GitHub