Filters








340 Hits in 3.4 sec

A Petri Nets Model for Blockchain Analysis

Andrea Pinna, Roberto Tonelli, Matteo Orrú, Michele Marchesi, Rob Hierons
2018 Computer journal  
In this paper we focus on this cryptocurrency and in particular on the modeling of the Bitcoin Blockchain by using the Petri Nets formalism.  ...  The model allows also to identify a set of behaviours typical of Bitcoin owners, like that of using an address only once, and to reconstruct chains for this behaviour together with the rate of firing.  ...  THE MODEL: THE BLOCKCHAIN PETRI NET The proposed model is based on the Petri Net formalism.  ... 
doi:10.1093/comjnl/bxy001 fatcat:ackr2mkimze65mx3oasfbfl24a

A Petri Nets Model for Blockchain Analysis [article]

Andrea Pinna, Roberto Tonelli, Matteo Orrú, Michele Marchesi
2017 arXiv   pre-print
In this paper we focus on this cryptocurrency and in particular on the modeling of the Bitcoin Blockchain by using the Petri Nets formalism.  ...  The model allows also to identify a set of behaviours typical of Bitcoin owners, like that of using an address only once, and to reconstruct chains for this behaviour together with the rate of firing.  ...  THE MODEL: THE BLOCKCHAIN PETRI NET The proposed model is based on the Petri Net formalism.  ... 
arXiv:1709.07790v2 fatcat:l7pmznxsbvhbpjepculd4sh3tm

Research on Emergency Logistics Model of Agricultural Products Based on Coupling of Petri Net and Blockchain

Huimin Ge, Haisheng Liu, Rui Wang, Shuai Zhu, Linbei Shao
2021 Promet (Zagreb)  
This paper first shows the operation mechanism of the petri dish network and blockchain coupling in the form of a graph and then uses the culture network modelling and simulation tool PIPE to directly  ...  It is hoped that this study can provide a reference direction for agricultural emergency logistics.  ...  PIPE (Platform Independent Petri net Editor) is a Javabased editing and analysis system for Petri nets.  ... 
doi:10.7307/ptt.v33i6.3845 fatcat:pryoifuezvfkjckye4rye2pw24

Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance

Meriem Kherbouche, Galena Pisoni, Bálint Molnár
2022 Applied System Innovation  
We create a UML profile for the blockchain, then we combine it with a UML activity diagram followed by a verification using Petri nets to guarantee a distributed computing system and scalable with mutable  ...  We overview the opportunities for the application of blockchain in Business Process Management and Modeling in Finance and we focus on in-depth analysis of claim process in insurance as a use case.  ...  [14] presents a guide to modeling, verification, and application of Petri nets for systems engineering. Ref.  ... 
doi:10.3390/asi5010010 fatcat:64sbcwzoqrc7lcnvmleaox3k4i

CPS Information Security Risk Evaluation Based on Blockchain and Big Data

2018 Tehnički Vjesnik  
This paper proposes using blockchain technology to construct the data's authenticity and reliability guarantee system for CPS and CPS related external systems, and constructing blockchain's layered model  ...  In the process of risk evaluation, colligating the analysis results from experts and the analysis results of external data sources' related big data for information security risk evaluation of CPS, by  ...  The proposer of Petri net was Dr. Carl A. Petri, and the proposed year was 1962 [7] . Petri net model consists of Place, Transition, Connection and Token, etc.  ... 
doi:10.17559/tv-20180621055030 fatcat:qkk2liqpczea7hyihdrx7uadiq

Optimized Execution of Business Processes on Blockchain [article]

Luciano García-Bañuelos, Alexander Ponomarev, Marlon Dumas, Ingo Weber
2016 arXiv   pre-print
The paper presents a method for compiling a process model into a smart contract that encodes the preconditions for executing each task in the process using a space-optimized data structure.  ...  Specifically, a process model comprising tasks performed by multiple parties can be coordinated via smart contracts operating on the blockchain.  ...  The presented method is a building block towards a blockchain-based collaborative business process execution engine.  ... 
arXiv:1612.03152v1 fatcat:zun5qyoervbwjpmmkuuagdbe3m

Enforcing a Cross-Organizational Workflow: An Experience Report [chapter]

Susanne Stahnke, Klym Shumaiev, Jorge Cuellar, Prabhakaran Kasinathan
2020 Lecture Notes in Business Information Processing  
This experience report introduces a workflow enforcement method for a particular use case, the certification of the construction of industrial plants.  ...  To digitally establish trust without requiring a trusted third party, Blockchain technology together with Smart Contracts is used to ensure that involved organizations can not break their agreements.  ...  For further definition and a concrete example see [7] . Petri Nets are easy to understand and use, and offer formal semantics and analysis techniques.  ... 
doi:10.1007/978-3-030-49418-6_6 fatcat:6cruzzqndffk7ppz4fekpytsdi

Optimized Execution of Business Processes on Blockchain [chapter]

Luciano García-Bañuelos, Alexander Ponomarev, Marlon Dumas, Ingo Weber
2017 Lecture Notes in Computer Science  
Specically, a process model comprising tasks performed by multiple parties can be coordinated via smart contracts operating on the blockchain.  ...  The consensus mechanism governing the blockchain thereby guarantees that the process model is followed by each party.  ...  This research was started at the Dagstuhl seminar #16191 Fresh Approaches to Business Process Modeling. The research is partly supported by the Estonian Research Council. (grant IUT20-55).  ... 
doi:10.1007/978-3-319-65000-5_8 fatcat:dgbb6jrxozepdndsehuahhlad4

Dynamic Role Binding in Blockchain-Based Collaborative Business Processes [article]

Orlenys López-Pintado, Marlon Dumas, Luciano García-Bañuelos, Ingo Weber
2018 arXiv   pre-print
The proposed language is endowed with a Petri net semantics, thus enabling policy consistency verification.  ...  This paper presents a model for dynamic binding of actors to roles in collaborative processes and an associated binding policy specification language.  ...  Given the nomination net of a policy, we map the problem of checking policy consistency to a problem of reachability analysis over Petri nets. Algorithm 1 maps a policy to a nomination net.  ... 
arXiv:1812.02909v1 fatcat:s5nb324vwzhvzjxjz4vgbrtrii

A Comparison of Approaches for Visualizing Blockchains and Smart Contracts

Felix Härer, Hans-Georg Fill
2019 Zenodo  
The investigation focuses on design and analysis approaches, concluding with requirements for a visual modelling language.  ...  In this paper we review approaches for visualizing blockchains and smart contracts.  ...  Other representations exist, e.g. as Petri-Nets (Pinna et al., 2018) .  ... 
doi:10.5281/zenodo.2585575 fatcat:fi25nf7v5beatmmbhhdasb7n24

Bitcoin Trace-Net: Formal Contract Verification at Signing Time [article]

James Chiang
2020 arXiv   pre-print
A Trace-Net model consists of a Petri Net formalism enriched with a Dolev-Yao-like actor knowledge model.  ...  Trace-Net is sufficiently expressive to accurately model blockchain semantics such as the delay between a transaction broadcast and its subsequent confirmation, as well as adversarial blockchain reorganizations  ...  A special acknowledgement to Josh Harvey for early discussions on formal Petri Net specifications of automata-based programs which inspired the idea of Trace-Net for Bitcoin contracts.  ... 
arXiv:2007.07528v1 fatcat:o5oqxwperzbz3exx7jnkx72j5u

Formalizing the Blockchain-Based BlockVoke Protocol for Fast Certificate Revocation Using Colored Petri Nets

Anant Sujatanagarjuna, Arne Bochem, Benjamin Leiding
2021 Information  
Formal methods, such as Colored Petri Nets (CPNs), facilitate the design, development, analysis and verification of new protocols; the detection of flaws; and the mitigation of identified security risks  ...  Moreover, a full state-space analysis of the resulting CPN model is performed to derive relevant model properties of the protocol.  ...  Formal methods, such as Petri Nets [7] , Colored Petri Nets [8, 9] , π-calculus [10] and Communicating Sequential Processes [11] , are utilized for the design, development, analysis and verification  ... 
doi:10.3390/info12070277 fatcat:hjp7dievcvcpdnnaq2w4icfmiu

Blockchain-Enabled Access Management System for Edge Computing

Yong Zhu, Chao Huang, Zhihui Hu, Abdullah Al-Dhelaan, Mohammed Al-Dhelaan
2021 Electronics  
In. this paper, the architecture and behavior of an Access Management System (AMS) in a proof of concept (PoC) prototype are proposed with a Color Petri Net (CPN) model.  ...  Meanwhile, the decentralization, tamper-proof and anonymity of blockchain technology can provide a new trusted computing environment for edge computing.  ...  A Colored Petri Net (CPN) is an extension of a Petri net.  ... 
doi:10.3390/electronics10091000 fatcat:flhcuhvfyfcidi7odg53j3u3se

ASSURING THE SDN SECURITY BY MODELLING AND COMPARING SDN PROPOSED TOPOLOGIES USING PETRI NETS

Ali Ameen, Technical University of Moldova
2021 Journal of Engineering Science (Chişinău)  
We propose a framework that contains 3 different types of controllers' topologies and each topology can use 4 algorithms, HYDRA, VPN, Double RSA, and least but not last comes blockchain technology which  ...  The soaring number of applications for autonomous systems in different aspects like air, sea, and space is creating the need for new methodologies and architectures' technologies to consolidate the verification  ...  The Petri Nets is a place/transition (PT) system; and it is a description and a modelling approach for distributed systems. Moreover, it has the definition of a dynamic system of discrete events.  ... 
doi:10.52326/jes.utm.2021.28(4).08 fatcat:3eozdtzqqfaznpvjibzb65fd4y

Performance Evaluation of Blockchain Systems: A Systematic Survey

Caixiang Fan, Sara Ghaemi, Hamzeh Khazaei, Petr Musilek
2020 IEEE Access  
Blockchain has been envisioned to be a disruptive technology with potential for applications in various industries.  ...  In this paper, we conduct a systematic survey on the blockchain performance evaluation by categorizing all reviewed solutions into two general categories, namely, empirical analysis and analytical modelling  ...  ACKNOWLEDGMENT The authors would also like to thank Compute Canada, SAVI, and Cybera for the support of this research through their cloud services. VOLUME 8, 2020  ... 
doi:10.1109/access.2020.3006078 fatcat:xkhp4io3mremvnwjgo5hnozg2y
« Previous Showing results 1 — 15 out of 340 results