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 条
  • [1] Access Control Verification in Smart Contracts Using Colored Petri Nets
    Al-Azzoni, Issam
    Iqbal, Saqib
    COMPUTERS, 2024, 13 (11)
  • [2] Formal Modeling and Verification of Smart Contracts
    Bai, Xiaomin
    Cheng, Zijing
    Duan, Zhangbo
    Hu, Kai
    PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018, : 322 - 326
  • [3] Lending Petri Nets and Contracts
    Bartoletti, Massimo
    Cimoli, Tiziana
    Pinna, G. Michele
    FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 66 - 82
  • [4] A Modeling and Verification Framework for Ethereum Smart Contracts
    Valentini, Simone
    Braghin, Chiara
    Riccobene, Elvinia
    RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 201 - 207
  • [5] Verification of Use Case with Petri Nets in Requirement Analysis
    Zhao, Jinqiang
    Duan, Zhenhua
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II, 2009, 5593 : 29 - 42
  • [6] Formal Modeling and Verification of Smart Contracts with Spin
    Yang, Zhe
    Dai, Meiyi
    Guo, Jian
    ELECTRONICS, 2022, 11 (19)
  • [7] Modeling and verification of sequential control paths using Petri nets
    Erhard, W
    Reinsch, A
    Schober, T
    DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 41 - 46
  • [8] A Modeling and verification method for intelligent networks services with Petri nets
    Ma, YX
    Liu, YM
    2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS, 2003, : 1396 - 1399
  • [9] Research of the Verification in Workflow Process Modeling on the Application of Petri Nets
    Li Ye-bai
    Mao Fu-qi
    2010 INTERNATIONAL CONFERENCE ON E-EDUCATION, E-BUSINESS, E-MANAGEMENT AND E-LEARNING: IC4E 2010, PROCEEDINGS, 2010, : 21 - 24
  • [10] Enzymatic competition: Modeling and verification with timed hybrid petri nets
    Troncale, Sylvie
    Comet, Jean-Paul
    Bernot, Gilles
    PATTERN RECOGNITION, 2009, 42 (04) : 562 - 566
12345