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

Andrea Pinna Roberto Tonelli

Published in: SANER (2022)

Keyphrases

petri net
colored petri nets
petri net model
stochastic petri net
concurrent systems
discrete event systems
manufacturing systems
sequence diagrams
fuzzy petri net
ims ld
state machines
artificial intelligence
web services
discrete dynamical systems