Here's another blog article about my paper with Jade Master:

* [Open Petri nets (post 2)](https://johncarlosbaez.wordpress.com/2018/08/18/open-petri-nets-part-2/).

This explains the reachability semantics for open Petri nets as a map between double categories.