Structural liveness analysis of S[3]PR nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 1996

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.
Fichier non déposé

Dates et versions

hal-01125481 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125481 , version 1

Citer

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⟩

Collections

CNAM CEDRIC-CNAM
78 Consultations
0 Téléchargements

Partager

More