A Petri net-based approach to incremental modelling of flow and resources in service-oriented manufacturing systems | Publicación