Books

Books : reviews

Claude Girault, Rudiger Valk.
Petri Nets for Systems Engineering: a guide to modeling, verification, and applications.
Springer. 2003

(read but not reviewed)