Travelled to:1 × Germany
1 × Hungary
1 × Spain
1 × Switzerland
Collaborated with:R.R.Devillers B.Grahlmann M.Koutny J.Esparza
Talks about:net (4) petri (3) characteris (1) persist (1) recurs (1) state (1) space (1) model (1) graph (1) equat (1)
Person: Eike Best
DBLP: Best:Eike
Contributed to:
2014
1996
1995
1991Wrote 4 papers:
- LATA-2014-BestD #bound #graph #petri net
- Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.
- TACAS-1996-GrahlmannB #named #petri net
- PEP — More than a Petri Net Tool (BG, EB), pp. 397–401.
- ICALP-1995-BestK #equation #recursion
- Solving Recursive Net Equations (EB, MK), pp. 605–623.
- CSL-1991-BestE #model checking #persistent #petri net
- Model Checking of Persistent Petri Nets (EB, JE), pp. 35–52.