Modeling, Analysis, and Control with Petri Nets | Publicación