Automatic synthesis of multiple place resource models with Petri nets

This paper focuses on the correct representation of shared resources in Petri net models of automated manufacturing systems, in the presence of concurrent independent operations, such as assembly and disassembly ones. In particular, an original multiple-place model is specifically derived and a constructive algorithm is proposed for the automatic synthesis of the resource model. The algorithm computes the number of resource places for each resource, as well as their connections to the recipes' transitions. Proper necessary conditions of "well-definiteness" are introduced for the partial models that are incrementally defined by the user.