On the use of Petri Nets in Smart Contracts modeling, generation and verification

Pinna, Andrea
;Tonelli, Roberto
2022-01-01

Abstract

We discuss the contribution of the Petri net formalism to the BOSE for Smart Contract design and development. We address this discussion based on the analysis of recently published literature works we obtained by querying Scopus and Google Scholar. Different types of Petri nets, including coloured Petri nets and workflow nets, and different types of tools emerge from our analysis. Our discussion includes the classification into three categories of application of the Petri net formalism in the design and development of Smart Contracts, namely modeling, generation, and verification.
2022
Inglese
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
978-1-6654-3786-8
1207
1211
5
WOS:000855050800130
2-s2.0-85135798204
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering
Comitato scientifico
15-18 marzo 2022
Honolulu, HI, USA
internazionale
scientifica
no
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Pinna, Andrea; Tonelli, Roberto
273
2
4.1 Contributo in Atti di convegno
reserved
info:eu-repo/semantics/conferencePaper
Files in This Item:
File Size Format  
On_the_use_of_Petri_Nets_in_Smart_Contracts_modeling_generation_and_verification_manuscript.pdf

Solo gestori archivio

Type: versione post-print
Size 157.49 kB
Format Adobe PDF
& nbsp; View / Open   Request a copy
157.49 kB Adobe PDF & nbsp; View / Open   Request a copy

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Questionnaire and social

Share on:
Impostazioni cookie