Skip to main content

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

  • Conference paper
  • First Online:
Security and Privacy in Communication Networks (SecureComm 2020)


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 and smart contracts are two enabling technologies that ensure the traceability of products and prevent data tampering in the smart healthcare supply chain. In a blockchain-based supply chain, a workflow of smart contracts needs to created and executed based on the input data. The selection of smart contracts in the workflow is data-driven and dynamic. Hence, it is necessary to verify the correctness of the dynamic execution of smart contracts. In this paper, we develop a Colored Petri-Net based formalism to verify the correctness of dynamic behaviors of the smart contract workflow. We conduct experiments to evaluate the performance of our proposed model.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions


  1. Ahmed, S., Rahman, M.S., Rahaman, M.S., et al.: A blockchain-based architecture for integrated smart parking systems. In: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), pp. 177–182. IEEE (2019)

    Google Scholar 

  2. Bhattacharjee, A., Badsha, S., Shahid, A., Livani, H., Sengupta, S.: Block-phasor: a decentralized blockchain framework to enhance security of synchrophasor. In: IEEE Kansas Power and Energy Conference, Manhattan, Kansas, USA (2020)

    Google Scholar 

  3. Bistarellia, S., Mazzanteb, G., Michelettib, M., Mostardab, L., Sestilib, D., Tiezzib, F.: Ethereum smart contracts: analysis and statistics of their source code and opcodes. Internet Things 11, 100198 (2020)

    Article  Google Scholar 

  4. Duo, W., Xin, H., Xiaofeng, M.: Formal analysis of smart contract based on colored petri nets. IEEE Intell. Syst. 35, 19–30 (2020)

    Article  Google Scholar 

  5. Entezari-Maleki, R., Etesami, S.E., Ghorbani, N., Niaki, A.A., Sousa, L., Movaghar, A.: Modeling and evaluation of service composition in commercial multiclouds using timed colored petri nets. IEEE Trans. Syst. Man Cyber. Syst. 50(3), 947–961 (2020)

    Article  Google Scholar 

  6. Kudva, S., Badsha, S., Sengupta, S., Khalil, I., Zomaya, A.: Towards secure and practical consensus for blockchain based vanet. Inf. Sci. (2020).

    Article  Google Scholar 

  7. Kudva, S., Norderhaug, R., Badsha, S., Sengupta, S., Kayes, A.: Pebers: practical Ethereum blockchain based efficient ride hailing service. In: IEEE International Conference on Informatics, IoT and Enabling Technologies (2020)

    Google Scholar 

  8. Liu, Z., Liu, J.: Formal verification of blockchain smart contract based on colored petri net models. In: 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), vol. 2, pp. 555–560. IEEE (2019)

    Google Scholar 

  9. Maskey, S.R., Badsha, S., Sengupta, S., Khalil, I.: Bits: blockchain based intelligent transportation system with outlier detection for smart city (2020)

    Google Scholar 

  10. Rahman, M.S., Khalil, I., Arachchige, P.C.M., Bouras, A., Yi, X.: A novel architecture for tamper proof electronic health record management system using blockchain wrapper. In: Proceedings of the 2019 ACM International Symposium on Blockchain and Secure Critical Infrastructure, pp. 97–105 (2019)

    Google Scholar 

  11. Ream, J., Chu, Y., Schatsky, D.: Upgrading blockchains: smart contract use cases in industry. Retrieved December 12, 2017 (2016)

    Google Scholar 

  12. Scholl, H.J., Pomeshchikov, R., Rodríguez Bolívar, M.P.: Early regulations of distributed ledger technology/blockchain providers: a comparative case study. In: Proceedings of the 53rd Hawaii International Conference on System Sciences (2020)

    Google Scholar 

  13. Swan, M.: Blockchain: Blueprint for a New Economy. O’Reilly Media Inc, Sebastopol (2015)

    Google Scholar 

  14. Tan, W., Fan, Y., Zhou, M., Tian, Z.: Data-driven service composition in enterprise SOA solutions: a petri net approach. IEEE Trans. Autom. Sci. Eng. 7(3), 686–694 (2009)

    Article  Google Scholar 

  15. Tian, F.: An agri-food supply chain traceability system for china based on RFID & blockchain technology. In: 2016 13th International Conference on Service Systems and Service Management (ICSSSM), pp. 1–6. IEEE (2016)

    Google Scholar 

  16. Vakilinia, I., Badsha, S., Arslan, E., Sengupta, S.: Pooling approach for task allocation in the blockchain based decentralized storage network. In: 15th International Conference on Network and Service Management, IEEE (2019)

    Google Scholar 

  17. Yue, X., Wang, H., Jin, D., Li, M., Jiang, W.: Healthcare data gateways: found healthcare intelligence on blockchain with novel privacy risk control. J. Med. Syst. 40(10), 218 (2016).

    Article  Google Scholar 

  18. Zhang, L., Yao, S.: Using the c-net for formalizing workflow patterns. In: 2010 Second International Conference on Information Technology and Computer Science, pp. 102–105 (2010)

    Google Scholar 

  19. Zupan, N., Kasinathan, P., Cuellar, J., Sauer, M.: Secure smart contract generation based on petri nets. In: Rosa Righi, R., Alberti, A.M., Singh, M. (eds.) Blockchain Technology for Industry 4.0. BT, pp. 73–98. Springer, Singapore (2020).

    Chapter  Google Scholar 

Download references


This work is part of the NPRP11S-1227-170135 project. The authors would like to express their gratitude to the QNRF (Qatar Foundation) for its support and funding for the project activities.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Mohammad Saidur Rahman .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Rahman, M.S., Khalil, I., Bouras, A. (2020). Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain. In: Park, N., Sun, K., Foresti, S., Butler, K., Saxena, N. (eds) Security and Privacy in Communication Networks. SecureComm 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 336. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-63094-2

  • Online ISBN: 978-3-030-63095-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics