The mathematics of Petri nets - Reutenauer, Christophe (Masson, 1990)