Stateless Petri Nets in Gnoland
š Iām working to build a Gno.land package: /p/pflow/metamodel !
(WIP on github)
- Using Pflow means Gno developers can embed Petri nets directly inside their contracts without requiring external servers.
- Petri net models are encoded in JSON or SVG, base64-encoded, and rendered inline using data URLs.
How This Works: Petri Nets in Gno
The p/pflow/metamodel package now includes a set of functions that allow Petri nets to be declared and then serialized as:
JSON Data URLs (for programmatic consumption)
SVG Data URLs (for direct visualization in Gno Markdown)
Markdown Image Embeds (to display Petri nets inside contract descriptions)
Markdown Hyperlinks (to share and interact with Petri nets on external viewers)
See an example of how to use this on my home realm: /r/stackdump/home