Petri nets for systems engineering a guide to modeling, verfication, and applications ; with 9 tables - Girault, Claude; Valk, Rüdiger (Springer, 2003)