Translation of: Les reseaux de Petri, published in 2001, and: Verification et mise en uvre des reseaux de Petri, published in 2003.