We provide tools to build and use Petri-net models in go, js, python, lua, solidity, and rust
- https://pflow.dev/p/ - model editor: build Petri-nets in the browser
- https://pflow.dev/sandbox/ - javascript sandbox: edit Petri-nets as javascript
- WIP: pflow.eth web3 support in solidity - compose contracts with petri-nets
-
pflow-js - a javascript library
- usable from the browser
- this project hosts the reference implementation
- the repo also hosts a snapshot of the js tools released via CDN
-
metamodel-js - a typescript library
- usable from npm
- conforms to the reference implementation
Advance the state of solidity smart contract development by providing a library that can be used to create petri-net based smart contracts.
Deploy a smart contract based registry that can be used to store and retrieve petri-net based smart contracts.
Petri nets are a well known and well studied formalism that can be used to model a wide variety of systems.
Petri nets are a natural fit for model development because they are:
- simple
- expressive
- composable
- verifiable