Pflow is a
Web3 SDK
for Visual State Machines
Problem:
Composability is a blessing and a curse.
The complexity of smart contracts makes it difficult to understand and verify their behavior.
Solution:
Pflow empowers anyone to build smart contracts in a way that is easy to understand and verify.
Pflow’s framework reduces code complexity and allows users to visually analyze contracts.
What is a Petri-net?
Pflow uses Petri-nets for visual description.
Place
Transition
Token
Arc
These primitives compose to create models.
Models represent systems of interacting components. Tokens represent information & resources flowing through the system.