Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain

We present a formal model for smart contract workflow using Colored Petri-Net in the context of a blockchain-based healthcare supply chain in this paper. Ensuring traceability of products is a crucial issue in a smart healthcare supply chain. Blockchain a

  • PDF / 33,690,278 Bytes
  • 504 Pages / 439.37 x 666.142 pts Page_size
  • 77 Downloads / 222 Views

DOWNLOAD

REPORT

Recommend Documents
Smart Contract-Based Blockchain Solution to Reduce Supply Chain Risks

148 66 62MB

Reputation-Based Trustworthy Supply Chain Management Using Smart Contract

139 98 72MB

Smart logistics and global supply chain management

186 42 39KB

A Blacklisting Smart Contract

180 73 31MB

Security Evaluation of Smart Contract-Based On-chain Ethereum Wallets

216 75 27MB

Smart Healthcare

135 20 4MB

Smart Contract Derivatives

164 55 7MB

Operation Principles of Smart Contract

243 57 8MB

About Smart Contract Dispute Resolution

224 111 5MB

Smart WiFi: Universal and Secure Smart Contract-Enabled WiFi Hotspot

207 38 34MB

Ethereum Smart Contract Development in Solidity

466 138 8MB

SMART Supply Network

139 77 4MB