|
 
|
[BBa96] Structural liveness analysis of S[3]PR nets
Conférence Internationale avec comité de lecture : Symp. on discrete events and manufacturing systems. CESA'96 IMACS Multiconference, January 1996, pp.438-443,
motcle:
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.
BibTeX
| @inproceedings { | |||
| BBa96, | |||
| title | = | "{Structural liveness analysis of S[3]PR nets}", | |
| author | = | " K. Barkaoui and I. Ben Abdallah ", | |
| booktitle | = | "{Symp. on discrete events and manufacturing systems. CESA'96 IMACS Multiconference}", | |
| year | = | 1996, | |
| month | = | "January", | |
| pages | = | "438-443", | |
| } | |||
