Structural liveness analysis of S[3]PR nets
Résumé
In this paper, we focus on structure theory of Petri nets to develop a resource allocation policy for FMS modeled by S[3]PR nets (a subclass of Petri nets). We show that S[3]PR nets are structurally live, and we determine initial markings under which S[3]PR nets are live and reversible. However, these markings can lead to restrictive resources usages due to a coarse control on the resources allocation. In order to improve the performance measures of the system, we propose a less restrictive resource allocation strategy by adding local control places to the S[3]PR net. An example is provided for illustration and comparison with previous works.