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