Deterministic Petri nets appear to resemble some simple model of computation.
Puzzle: Code up a Petri net simulator as a
Don’t forget to make it extendible to a stochastic Petri net! And syntax highlighting for Haskell may help.
Remark. It seems that Python would be a nicer language to use; at least the code would resemble some structured English description of it! Although, you know LISP and nature…