A Petri Nets Model for Blockchain Analysis.

Andrea Pinna Roberto Tonelli Matteo Orrù Michele Marchesi

Published in: CoRR (2017)

Keyphrases

petri net
colored petri nets
petri net model
process model
high level petri nets
discrete event
reactive systems
dynamic behaviors
stochastic petri net