61 citations · 73 across the 3 of their papers we have counts for
1 paper · 1 filter
Julian Rathke, Pawel Sobocinski, Owen Stephens
In recent work, the second and third authors introduced a technique for reachability checking in 1-bounded Petri nets, based on wiring decompositions, which are expressions in a fr…