Supplementary Material for A Metrics Suite for Quantifying Legal Compliance of Smart Contracts

This repository contains the supplementary material for the paper titled "A Metrics Suite for Quantifying Legal Compliance of Smart Contracts". It includes natural-language legal contracts, their smart contract implementations, Petri net models of said contracts, and their reachability graphs. The Petri net models are presented as graphics, as well as .cpn files that can be opened with either CPN Tools or CPN IDE.