I think it's obvious that FP is great at linear / dataflow which can be represented visually trivially.

I think the missing part is distributed / protocol like interaction between pure agents. Maybe we should ask the erlang crowd. Or the smalltalk crowd.

Also, who uses petri nets ?