The mathematics of Petri nets - Reutenauer, Christophe 1953- (Prentice-Hall u.a., 1990)
EST: Aspects mathématiques des réseaux de Petri <engl.>