BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × USA
Collaborated with:
C.Choppy G.Berthelot L.Petrucci
Talks about:
petri (2) net (2) properti (1) petrirev (1) papetri (1) environ (1) analysi (1) system (1) rewrit (1) prove (1)

Person: Colette Johnen

DBLP DBLP: Johnen:Colette

Contributed to:

CAV 19901990
RTA 19851985

Wrote 2 papers:

CAV-1990-BerthelotJP #analysis #named #petri net
PAPETRI: Environment for the Analysis of Petri Nets (GB, CJ, LP), pp. 13–22.
RTA-1985-ChoppyJ #named #petri net #proving #term rewriting
PETRIREVE: Proving Petri Net Properties with Rewriting Systems (CC, CJ), pp. 271–286.
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.