🚀 new drop: pflow.xyz/ld — a Petri-net editor built on Canvas + JSON-LD visual modeling meets linked data. every place, transition, and token is part of a live graph you can inspect + edit. click transitions to fire them. no frameworks, no backend — just the web doing what it should. #pflow #PetriNets #linkeddata #webcomponents

0 reply

0 recast

0 reaction

Over at gno.land - I've axiom-ized token semantics (unsurprisingly) with Petri-nets Now centered on Yoneda Lemma as a means to define objects. I want to build a model-of-models based on an open mathematical substrate. https://github.com/gnolang/gno/pull/4677

0 reply

0 recast

0 reaction

Maxwell’s Demon framing of economic agents

0 reply

0 recast

0 reaction

What if schema.org types weren’t just metadata—but objects in a category? I explore how the web’s vocabularies can form a compositional graph of meaning, using category theory as the glue. Structured data → Functors. Properties → Morphisms. The web → A diagram worth reasoning about. Read it here: 🔗 https://blog.stackdump.com/toward-a-compositional-web-of-meaning

0 reply

0 recast

0 reaction

🧱 Just ported the standard Petri-net model I've been using— to Gnolang ☕ coffeeshop.gno shows how tokenized transitions (like Water → BoiledWater → Coffee) can model real-world workflows as composable, verifiable logic. 🔁 This is more than a toy—it's the backbone for modeling DAOs, agents, liquidity, and voting systems onchain using Gno + Petri nets. 🔗 https://github.com/allinbits/labs/blob/main/projects/gnoland/gno.land/r/metamodel000/coffeeshop.gno

0 reply

0 recast

0 reaction

Petri places — think of “types,” Transitions as the process pipes. Arrows here are not just signs — They show resource-consuming lines.

1 reply

0 recast

0 reaction

New v1 of pflow schema. Trying it out on fly.io for containerized hosting - I'm finding it pretty easy to use. https://pflow-app.fly.dev/?m=PetriNet&v=v1&p=place0&c=3&i=1&o=0&x=130&y=207&t=txn0&x=46&y=116&t=txn1&x=227&y=112&t=txn2&x=43&y=307&t=txn3&x=235&y=306&s=txn0&e=place0&w=1&s=place0&e=txn1&w=3&s=txn2&e=place0&n=1&w=3&s=place0&e=txn3&n=1&w=1

0 reply

0 recast

0 reaction

Just found an awesome Railroad diagram generator! 🚂✨ Using it to visualize the URL syntax for a pflow.xyz Petri net—making structured data look beautiful and intuitive. Check it out! ⬇️ https://gist.github.com/stackdump/f877f4d3d4a806328dc30f6eeac52bed

0 reply

0 recast

1 reaction

🔥 Flamegraphs are a game-changer for profiling! Imagine using the same SVG magic to embed interactive models—not just visualizing CPU stacks, but exploring dynamic systems in real time. 🚀 Let’s push visualization to the next level! 🔗 brendangregg.com/FlameGraphs/cpuflamegraphs.html

0 reply

0 recast

0 reaction

Added an HTML widget to show off pflow models! Much more efficient than passing in base64/compressed json. https://pflow.dev/embed/?m=petriNet&v=v0&p=place0&i=1&c=3&o=0&x=130&y=207&p=place1&i=0&c=0&o=1&x=395&y=299&t=txn0&x=46&y=116&t=txn1&x=227&y=112&t=txn2&x=43&y=307&t=txn3&x=235&y=306&s=txn0&e=place0&w=1&s=place0&e=txn1&w=3&s=txn2&e=place0&n=1&w=3&s=place0&e=txn3&n=1&w=1&s=txn3&e=place1&w=1 Unlocks the ability for users to share models from any webpage! Coming in at 173 lines of un-minified code will all rendering happening on pflow.dev

0 reply

0 recast

0 reaction

https://write.as/stackdump/stateless-petri-nets-in-gnoland I'm Building a library for gno.land - having a native UX for a contract interface is a powerful feature in blockchain tech.

0 reply

0 recast

0 reaction

Designed a Petri net with Sudoku constraints—combining logic puzzles with systems modeling. Can’t wait to see how it solves the grid! code to follow ☕

0 reply

0 recast

0 reaction

We're excited to introduce Declarative Differential Models (DDM) – a term we coined to describe a fresh approach to blending declarative programming with dynamic systems modeling. Explore the concept and its potential! 🧠✨ #DDM #Programming 🔗 https://blog.stackdump.com/declarative-differential-models-ddm

0 reply

0 recast

0 reaction

🌟 In my latest exploration with Petri.jl, I dive into two approaches: the elegance of ODEs versus the classic branch-and-bound method. The results might surprise you—and the insights are pure gold for optimization enthusiasts. https://blog.stackdump.com/exploring-knapsack-problem-with-petri-jl

0 reply

0 recast

0 reaction

A glimpse into building expert systems with pure math—no ML needed! 🧠✨ Petri.jl models Tic-Tac-Toe as a dynamic Petri net, embedding win conditions in ODEs to evaluate opening moves. https://blog.stackdump.com/leveraging-petri-jl-to-quantify-move-heuristics

1 reply

0 recast

0 reaction