Petri Nets For Systems Engineering door Claude Girault & Rudiger Valk