4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…