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

被引：2

作者：

Pinna, Andrea ^{[1
]}

Tonelli, Roberto ^{[1
]}

机构：

[1] Univ Cagliari, Cagliari, Italy

来源：

2022 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2022) | 2022年

关键词：

BOSE; Petri Nets; Smart Contracts; Blockchain;

D O I：

10.1109/SANER53432.2022.00142

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：1207 / 1211

页数：5

共 50 条

[11] Modeling and verification of a class of real-time systems by the use of High Level Petri Nets
Hassapis, G
Ananidou, D
JOURNAL OF SYSTEMS AND SOFTWARE, 2003, 68 (02) : 153 - 165
[12] Modeling and Verification of Solidity Smart Contracts with the B Method
Baba, Faycal
Mammar, Amel
Frappier, Marc
Laleau, Regine
ENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2024, 2025, 14784 : 159 - 178
[13] Modeling and Analyzing Smart Contracts using Predicate Transition Nets
He, Xudong
COMPANION OF THE 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS-C 2020), 2020, : 108 - 115
[14] Modeling and verification of smart contracts with Abstract State Machines
Braghin, Chiara
Riccobene, Elvinia
Valentini, Simone
39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 1425 - 1432
[15] The use of Petri nets for the design and verification of asynchronous circuits and systems
Kondratyev, A
Kishinevsky, M
Taubin, A
Cortadella, J
Lavagno, L
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) : 67 - 118
[16] Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
Simonsen, Kent Inge Fagerland
Kristensen, Lars M.
Kindler, Ekkart
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI, 2016, 9930 : 1 - 27
[17] FORMAL APPROACH BASED ON PETRI NETS FOR MODELING AND VERIFICATION OF VIDEO GAMES
Barreto, Franciny M.
Julia, Stephane
COMPUTING AND INFORMATICS, 2021, 40 (01) : 216 - 248
[18] A PROTOCOL MODELING AND VERIFICATION APPROACH BASED ON A SPECIFICATION LANGUAGE AND PETRI NETS
SUZUKI, T
SHATZ, SM
MURATA, T
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (05) : 523 - 536
[19] Modeling and Verification of SCTP Association Management Based on Colored Petri Nets
Wang, Jizeng
Zhang, Shengcai
Chen, Fan
2008 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL 1, PROCEEDINGS, 2008, : 379 - 383
[20] Formalization and Verification of Business Process Modeling Based on UML and Petri Nets
颜志军
甘仞初
Journal of Beijing Institute of Technology(English Edition), 2005, (02) : 212 - 216

← 1 2 3 4 5 →