Lately I've been playing the game Star Rupture. A large part of the game involves setting up an industrial production line in a simulated 3d world. (It also involves exploring, base building, and fighting mobs of horrible giant bugs.)

While I was talking to Claude about strategies for organizing process management it brought up Petri nets, and I said aha, yes, in this context it makes perfect sense. (See parent post from last autumn, where it didn't yet.)

“The FMS context is almost a perfect Rosetta Stone for Petri nets. Your buffers are places, items in buffers are tokens, machines firing are transitions, and the input/output arcs are exactly the consumption and production of items. The "a transition can only fire when all its input places have tokens" rule is just "a machine can only run when all its input buffers are non-empty." The deadlock condition — a set of places in a cycle where no transition can fire because each is waiting on another — is precisely what you encountered.”

#starRupture #petriNets

I'm trying to read Carl Petri's thesis and find it impossible to decipher.
#computerscience #formalmethods #petrinets
pflow.dev | Dining Philosophers

Just released a new build of Pflow Petri Net Editor after a rewrite in typescript.

https://pflow.dev/p/

Works best on desktop - this version can build models in a GUI and take snapshots as json or PNG

New: Permalink feature can be used to store diagrams as URLs

#petriNets

pflow.dev | metamodel editor

Web site created using create-react-app

Are there any petriNet extensions that let pre-conditions go unsatisifed as long as there is only a single output token?

i.e. multiple paths in, single path out

#petriNets

New #blog post: English translation of my simple Petri nets tutorial. #PetriNets https://www.ibisc.univ-evry.fr/~fpommereau/petri-nets-chapter-1-what.html
Petri nets - Chapter 1: What

A simple tutorial on Petri nets, originally published in French on Twitter and Mastodon Prev Next Petri netsChapter 1: What?Where we learn what a...