[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,
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.


@inproceedings {
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}",