Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications - Girault, Claude; Valk, Rüdiger (Springer Verlag, 2003)