SchPetriNet

Screenshot of a petri net graphviz plot displayed in tmux in ghostty, kind of cool: 600