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