BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Best:Eike

Contributed to:

LATA 20142014
TACAS 19961996
ICALP 19951995
CSL 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.