pflow-xyz

pflow-xyz

pflow.xyz | Visual Programming with Petri-nets

Matt York pfp

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

Matt York pfp

🔥 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

Matt York pfp

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

Matt York pfp

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

Matt York pfp

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

Matt York pfp

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

Matt York pfp

🌟 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

Matt York pfp

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

Matt York pfp

Just took a Petri net model from pflow.xyz into Julia, turned it into an ODE system, then validated its accuracy by comparing win ratios of Tic-Tac-Toe game. Check out how close we got—only ~0.86% error! See the full code & details here: https://gist.github.com/stackdump/3be3dcb68829d0916f0207f8fcd3bbe9

1 reply

0 recast

0 reaction

Matt York pfp

Built our coffee machine net in Petri.jl! ☕ Exploring categorical Petri nets in Julia—up next: diving into AlgebraicPetri. Petri.jl makes it easy to convert nets into ODE problems, making it attractive for studying system dynamics and stability. https://gist.github.com/stackdump/6c762805e22d617ec2173bfe441aefc0

0 reply

1 recast

1 reaction

Matt York pfp

Elementary Petri Nets (where tokens are binary: 0 or 1) have a surprising equivalence with String Diagrams. Here's a visual example, rendered using the fantastic DisCoPy library: https://github.com/discopy/discopy 🚀 Discover the elegance of compositional reasoning! See ipython notebook: https://gist.github.com/stackdump/0e4dfbc1118f35fccabd45cb6e00b9f7

0 reply

0 recast

1 reaction

Matt York pfp

🌐 Learn Petri nets in 5 languages with pflow-polyglot! This educational repo is perfect for exploring smarter workflows and coding concepts. 📚⚙️ See this petri-net state machine implemented in: bash, python, ruby, golang, rust 🔗 github.com/stackdump/pflow-polyglot

0 reply

0 recast

2 reactions

Matt York pfp

Attended a local hackathon for the latest Llama models. I compared w/ OpenAI's 4o by generating petri-nets from code. Here's my findings https://write.as/stackdump/after-action-llama-hackathon-atx-2024

0 reply

0 recast

0 reaction

Matt York pfp

Comparing 3 petri-net variants https://write.as/stackdump/comparing-3-petri-net-variants

0 reply

0 recast

0 reaction

Matt York pfp

Using workflow models on pflow.xyz This looser rule set still respects most petri-net rules, but state is only governed by a simple principle: "The net MUST have only 1 token at a time." Standard Petri-net resource restriction is relaxed: Unlike the standard petri-net rules: "place2" need not be populated for "txn2" to be active See another example: https://gist.github.com/stackdump/7c94f51fc8996d6f9883dab5c8b7d846

1 reply

0 recast

0 reaction