Zeyu Zhou’s research while affiliated with Xidian University and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (2)


Analysis of Bitcoin Fork by Colored Petri Nets
  • Conference Paper

October 2024

·

1 Read

Zeyu Zhou

·

Ding Liu

·

Tatiana R. Shmeleva

·

Dmitry A. Zaitsev

Citations (1)


... A fifth team uses colored Petri nets (tokens with a data value) for the efficient simulation of blockchain networks, especially those with more than one hundred nodes [Zaitsev, et al., 2024]. Invoking a colored Petri net consensus protocol, the project defines a re-enterable colored Petri net model representing a general construct for model-driven development. ...

Reference:

Higher Categorical Cryptoeconomics: HoTT Blockchains, Petri Net Computad Ledgers, Coregulator DAOs, and Cohomology ZKPs
Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design
  • Citing Article
  • October 2023

International Journal of Parallel Emergent and Distributed Systems