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