A knowledge-based tool for the automated synthesis of Petri nets for manufacturing systems | Publicación