Petri Nets for System Engineering A Guide to Modeling, Verification, and Applications

(Author: R. Valk)