21 citations · 49 across the 5 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 21 cited
Applying CEGAR to the Petri Net State Equation
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…
cs.SE2012★ 9 cited
Raw Report on the Model Checking Contest at Petri Nets 2012
F. Kordon, A. Linard, D. Buchs +11
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of…