Petri Nets For Systems Engineering by Claude Girault & Rudiger Valk