Évaluez les performances de vos systèmes dynamiques avec les réseaux de Petri Stochastiques et la simulation Monte Carlo: GRIF Petri - Logiciel de réseau de Petri

La saisie des réseaux de Petri (RdP) est très simple et s’appuie sur une interface graphique intuitive.

• Elle permet la création de places, transitions, arcs, jetons… et de tous types de variables mathématiques et operateurs logiques (OR, AND, If-Then-Else, Min (), Max ()…). Ces variables matérialisent des indicateurs et permettent d’agir sur la validation (prédicats) des transitions, elles peuvent aussi être modifiées lors les tirs des transitions (affectations).

Une fois le système modélisé, le moteur Moca-RP permet d’obtenir un grand nombre de résultats :

• L’évaluation temporelle, moyenne ou par période de toute variable créée par l’utilisateur,
• 7 types de statistiques disponibles pour chaque variable (moyenne sur la période de calcul, moyenne par intervalle de temps, fréquence de variation…),
• L’analyse des différentes valeurs prises au cours des différentes histoires simulées,
• La fréquence de tir des transitions,
• Le temps de présence dans chaque place et le marquage moyen de chaque place …

La flexibilité du module vous permettra d’obtenir à la fois les grandeurs usuelles de la sureté de fonctionnement (Disponibilité, Fiabilité, …) et les informations relatives aux systèmes de production (quantités produites, nombre de ressources utilisées, …).

Priorités entre différentes actions, horaires d’intervention, gestion de stocks, coût d’exploitation, ou changement de politique après apparition d’un évènement ... toutes ces données sont très facilement prises en compte dans le module Petri.

• Pouvoir modélisant : La grande force des réseaux de Petri stochastiques à prédicats et assertions réside autant dans leur puissance de modélisation que dans leur faculté à décrire à la fois la partie dysfonctionnelle d’une installation (les pannes de ses composants) et la partie fonctionnelle. 
• Sans limite théorique d’utilisation : ce module pourra être utilisé quel que soit votre système. Il est tout à fait possible de modéliser des dépendances fortes entre composants, avec des reconfigurations au cours du temps grâce aux transitions déterministes ou stochastiques : exponentielle, Weibull, triangulaire, uniforme, ou n’importe quelle autre loi que vous aurez programmée.
• Possibilité d’effectuer des simulations hybrides : en couplant Moca-RP à un code C++ pour définir la physique du système (variation de température, calcul de propagation, …).
• La polyvalence du module Petri permet de l'utiliser dans une grande variété de secteurs industriels : énergie nucléaire, transport, aérospatiale, pétrole et gaz, etc. 
• Simulation interactive étape par étape :  le module Petri fournit un simulateur étape par étape qui est une fonctionnalité clé pour la vérification/validation des modèles. Il permet de s'assurer de la précision de la modélisation avant d'effectuer les calculs. Au-delà de son objectif initial, ce simulateur est également utilisé pour expliquer le comportement du système à d'autres personnes, et peut être un bon support de formation afin d'aider les gens à comprendre comment il fonctionne.

Le module Petri bénéficie de l’arborescence hiérarchique commune à tous les modules du package Simulation.

• Le passage en mode « Simulation interactive » permet la vérification/validation du modèle.
• Il est possible de créer des prototypes de composants qui seront stockés dans une bibliothèque. Ces prototypes sont réutilisables soit directement en tant que RdP pour faciliter la création de RdP plus important, soit en tant que blocs au sein des modules BStoK  , Petro ou Flex.

Une fonction copier-coller améliore votre capacité de modélisation en connectant aux données existantes celles utilisées par la partie sélectionnée (ou en les dupliquant selon le choix de l'utilisateur). Des fonctions de préfixation, suffixation, renommage sont également disponibles lorsque vous copiez-collez des objets du réseau de Petri.

Le module Petri utilise l'arborescence graphique commune à tous les modules, il permet de créer n'importe quelle subdivision du système. Les prototypes de composants peuvent être créés et stockés dans une bibliothèque et réutilisés soit directement comme des réseaux de Petri pour créer facilement un réseau de Petri plus grand, soit comme des diagrammes de blocs stochastiques dans les modules BStoK, Petro ou Flex.

Calcul Multi-CPU : comme dans tous les modules du package Simulation, il est possible d’effectuer les calculs simultanément sur plusieurs processeurs afin de diminuer fortement les temps de calcul. Un plug-in de haute performance est également disponible pour les connexions aux supercalculateurs. 

• Données d'entrée résumées dans des tableaux, ce qui facilite le contrôle de la qualité d'une entrée.
• Possibilité d'automatiser les calculs (exécution par lots) et de dessiner des variations pour l'analyse de sensibilité.
• Les résultats sont stockés dans le document et peuvent être exportés dans différents formats (csv, XML, Excel, etc.).
• Les résultats peuvent être visualisés sous forme de graphiques linéaires, de diagrammes circulaires ou d'histogrammes.
• L'impression vectorielle au format PDF génère des images de haute qualité mais les fichiers sont suffisamment petits pour être envoyés par e-mail même si le document contient des centaines de pages.
• Des fichiers externes (certificats PDF, images du système, etc.) peuvent être inclus dans le document et faire partie du rapport complet.
• Interaction avec le système d'exploitation : possibilité de copier/coller vers ou depuis un logiciel de traitement de texte, une feuille de calcul ou un outil de présentation.
• Il dispose d'un plug-in HPC (High-Performance Computing) pour utiliser les supercalculateurs les plus puissants.