Login / Signup
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