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