Petri Net Model of a Smart Factory in the Frame of Industry 4.0 | Publicación