Blockchain and smart contracts promise to increase transparency and provide guarantees for supply chains, yet existing process modeling languages either impose unnecessary complexity or lack the ...