over budget
Petri Nets: a model to define dApps
Current Project Status
Unfunded
Amount
Received
Received
$0
Amount
Requested
Requested
$80,000
Percentage
Received
Received
0.00%
Solution
Use Petri Nets as a model to define, validate and execute a Smart Contracts-flows in the creation of headless dApps.
Problem
Its difficult to model the flow of concurrent asynchronous processes (Smart Contracts) in the development of dApps
Addresses Challenge
Feasibility
Auditability
Team
Team Connections