Browsing by Subject "Blockchain Cases and Innovations"
Now showing items 1-1 of 1
-
A framework for modelling blockchain based supply chain management system to ensure soundness of smart contract workflow
( IEEE Computer Society , 2021 , Conference Paper)We propose a smart contract workflow verification framework for blockchain-based supply chain management systems. The proposed framework introduces a Petri-Net-based formalism to model smart contract workflow in a supply-chain ...