@neauoire Not Petri nets, but related if you're into that kind of graph based computation approach... I was (still am) very fond of the Signal/Collect programming model (which also can drastically simplify the implementation and parallelization of various types of algorithms):

cs.cmu.edu/~wcohen/postscript/
semantic-web-journal.net/syste

FWIW (as more concrete reference with more examples/diagrams) my own #LiterateProgramming #Clojure implementation & interpretation of some of these ideas is here:

thi.ng/fabric