Petri nets for systems engineering : a guide to modeling, verification, and applications - Girault, Claude.; Valk, R. (Rudiger) (Springer, 2003)