Structural liveness analysis of S[3]PR nets

Kamel Barkaoui (1) , I. Ben Abdallah

1 CEDRIC - Centre d'études et de recherche en informatique et communications

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.

Domaines: Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

Kamel Barkaoui, I. Ben Abdallah. Structural liveness analysis of S[3]PR nets. Symp. on discrete events and manufacturing systems. CESA'96 IMACS Multiconference, Jan 1996, X, France. pp.438-443. ⟨hal-01125481⟩