Abstract:
L’entreprise SONATRACH a installé un système de vidéosurveillance avec des caméras analogiques, encodeurs/enregistreurs, commutateurs réseaux, stockeurs, serveurs applications, écrans de visualisation,
pour garder ses zones industrielles, ses matériels et ses employés sous surveillance contre la malveillance
et les différentes intrusions.
Le système est paramétré par : Une durée de flux vidéo ; Une capacité de stockage. En cas de saturation
de système, le problème de perte des flux vidéo est envisagé, donc un cycle de suppression est nécessaire
pour réinitialiser le stockeur.
Dans ce mémoire, on montre comment utiliser les réseaux de Petri, en particulier les réseaux de Petri
temporisé, pour la modélisation du système étudié.
Pour l’évaluation des performances de système, on simule le réseau de Petri associé au modèle avec le
simulateur GRIF (module Petri Net V12), en variant ses paramètres.
