phd-defence-fr/vector/petri.pdf