1.1k citations · 4.7k across the 104 of their papers we have counts for
1 paper · 2 filters
John C. Baez, Jade Master
The reachability semantics for Petri nets can be studied using open Petri nets. For us an "open" Petri net is one with certain places designated as inputs and outputs via a cospan…