21 citations · 49 across the 5 of their papers we have counts for
1 paper · 2 filters
Karsten Wolf, Harro Wimmel
We propose a reachability verification technique that combines the Petri net state equation (a linear algebraic overapproximation of the set of reachable states) with the concept o…