Travelled to:1 × France
1 × Germany
Collaborated with:K.Wolf P.Habermehl R.Meyer
Talks about:petri (2) net (2) downward (1) languag (1) closur (1) state (1) equat (1) cegar (1) appli (1)
Person: Harro Wimmel
DBLP: Wimmel:Harro
Contributed to:
2011
2010Wrote 2 papers:
- TACAS-2011-WimmelW #equation #petri net
- Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.
- ICALP-v2-2010-HabermehlMW #petri net
- The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.