Secure Smart Contract Generation Based on Petri Nets
Nejc Zupan, Prabhakaran Kasinathan, Jorge Cuéllar, Markus Sauer
Topics & Concepts
Smart contractPetri netComputer scienceWorkflowBlockchainComputer securityCode (set theory)Process architectureBusiness logicDistributed computingSoftware engineeringProgramming languageDatabaseSet (abstract data type)Blockchain Technology Applications and SecurityBusiness Process Modeling and AnalysisCloud Data Security Solutions