New York, USA: Prentice-Hall, 117 pp. pages, 1990. Translated from the French by I. Craig.
Abstract: This book on Petri nets presents a detailed exposition of advanced results in Petri net theory. The contents of this book centers on the reachability problem. It is the first which contains not only the important concepts and proofs of necessary results but also the complex proof of accessibility in full detail. The book contains the following six chapters: Petri nets and vector addition systems (10 pp.), graphs and ordered sets (12 pp.), rational subsets of monoids and semi-linear sets (21 pp.), vector addition systems with states (26 pp.), chains and accessibility (18 pp.), complements (27 pp.).
Keywords: advanced results (in) net theory; reachability problem; graph(s) (and) ordered sets; rational monoid subset; semi-linear set; vector addition system (with states); chains (and) accessibility; complement.