Smart contract protocol constructed using pflow Petri-nets - View it on GitHub