Rapport TB

[Audio] Bonjour à tous, C'est un plaisir de vous accueillir ici aujourd'hui pour partager avec vous un projet de Bachelor, qui vise à créer un réseau de Petri coloré pour gérer et contrôler les processus industriels. Je vous souhaite une excellente présentation..

[Audio] À présent, je vais vous parler du travail de Bachelor en Gestion des ressources et contrôle de processus industriels basés sur l’exploitation de réseaux de Petri colorés réalisé par l'étudiant Cedric Jeulin Lankeu Ngassam et encadré par le responsable Eytan ZYSMAN. Le but de ce travail de diplôme était de proposer des méthodes et des techniques pour améliorer la fiabilité en matière de gestion et contrôle des processus industriels. Pour cela, nous avons choisi l'exploitation des réseaux de Petri colorés. Tout au long de l'exécution de cette formation, Cedric Jeulin Lankeu Ngassam a reçu le soutien et l'encouragement de sa famille, de son conjoint et de son encadreur. Il tient à remercier toutes les personnes qui, de près ou de loin, ont contribué à la réussite de ce travail. Voici le résumé publiable de ce travail..

[Audio] Projet de fin d'études portant sur le développement d'un réseau de Petri et l'analyse des systèmes concurrents et distribués tels que les systèmes informatiques, les systèmes de contrôle industriel et les systèmes biologiques. Offre d'une interface graphique pour éditer un réseau élémentaire et interagir avec le monde réel. Travail effectué dans le cadre de la Haute Ecole d'Ingénierie et de Gestion du Canton de Vaud, en vue de l'obtention du diplôme de Bachelor..

[Audio] Dans ce diapositive, l’objectif est de présenter le préambule du travail de bachelor de Cedric Jeulin Lankeu Ngassam. Ce travail s'inscrit dans le cadre de son cursus d'études en informatique embarquée afin d'obtenir le titre de Bachelor of Science en Ingénierie. En tant que travail académique, aucune des personnes impliquées n'y est engagée. Toute utilisation doit être faite dans le respect du droit d'auteur..

[Audio] Nous vous présentons le rapport de notre projet de fin de cursus proposant un outil en ligne sécurisé permettant la gestion de ressources humaines et matérielles et de différents outils les exploitant. Il s'agit d'utiliser des Réseaux De Petri (RDP) qui ont été largement utilisés dans de nombreux domaines tels que l'informatique, la robotique, les systèmes de contrôle et la logique des programmes. Ces RDP sont plus complexes à utiliser, mais plus proches de la réalité et du besoin, comparés à des outils tels que le GRAFCET. Notre rapport comprend les analyses des besoins, le développement et les tests effectués et enfin la mise en production..

[Audio] Objectif de ce projet : concevoir une solution qui utilise le concept des réseaux de Petri, et interfacer le monde réel à l'outil de modélisation des réseaux de Petri. Décompositions fonctionnelles effectuées pour identifier les blocs fonctionnels, et certaines technologies prises en main. Une étude autour du contexte dans lequel s'inscrit le projet a été menée et a permis de mettre en évidence la problématique, ainsi qu'une analyse des problèmes et questions qui en découlent. Une solution devant y répondre a été présentée..

[Audio] Athys Technology est une marque créée en 2016 par Helder Lopes, diplômé des Hautes Études d’Ingénierie et de Gestion de Vaud (HEIG-VD). Elle vise à développer des produits et à fournir des services dans des domaines variés : télécommunications, services scientifiques et technologiques, recherche et conception, analyses et recherches industrielles, conception et développement d'ordinateurs et de logiciels. Face à l'évolution de l'automatisation dans le paysage industriel et domestique suisse et à l'essor de l'Internet des objets, Athys se positionne pour proposer des solutions simples, performantes et peu onéreuses basées sur l'exploitation des réseaux de Petri. Parler de l'automatisation des processus, c'est parler du remplacement des tâches effectuées manuellement par des tâches automatisées. L'automatisation des processus permet de réduire les erreurs, d'accroître la productivité et de réduire les coûts tout en améliorant la qualité des services et des produits. Il existe différents types d'automatisation, par exemple les automatisations déclenchées par des événements, les automatisations basées sur des règles, les automatisations basées sur l'apprentissage automatique et les automatisations basées sur des modèles. En mettant en place des solutions logicielles, l'automatisation des processus permet de connecter plusieurs systèmes, applications et plates-formes, de rendre l'infrastructure uniforme et d'éliminer les goulots d'étranglement. De nombreux avantages en découlent..

[Audio] Identifier la tâche à automatiser et adapter le workflow est la première étape pour l'automatisation. L'activation automatique basée sur des déclencheurs ou des conditions prédéfinies est un mécanisme d'automatisation courant. Les avantages de cette automatisation sont une meilleure productivité, une réduction des coûts, une qualité et une précision améliorées. Les RDP sont un modèle formel qui modélise les interactions entre les différents composants d'un système et comprend leur influence sur le fonctionnement global. Il est important de trouver le bon équilibre entre l'automatisation et les processus manuels pour tirer le meilleur parti des deux..

[Audio] Nous allons étudier l'utilisation des réseaux de Petri colorés pour gérer et contrôler les processus industriels. Les réseaux de Petri sont des outils pratiques et très utiles pour comprendre le comportement des systèmes complexes et pour modéliser des systèmes concurrents. On peut les classer en trois niveaux selon les propriétés représentées par leurs places. D'après l'enquête sur les réseaux de Petri, on peut distinguer le niveau 1 sur lequel les places représentent des valeurs booléennes, le niveau 2 sur lequel les places peuvent représenter des valeurs entières et le niveau 3 sur lequel les places peuvent représenter des états de réseaux structurés avec des jetons structurés. Les réseaux de Petri peuvent ainsi permettre d'analyser les propriétés de sûreté, de liveness et de fairness des systèmes et de les optimiser en identifiant les points de blocage..

[Audio] Le Réseau de Petri est un formalisme qui permet de représenter et de gérer des systèmes complexes. Il se compose de lieux qui peuvent symboliser des états élevés, et de jetons qui leurs sont associés. L'étude d'un tel système se déroule en trois étapes : modélisation, simulation et validation. Des outils appropriés sont disponibles pour chacune de ces phases, avec une variété de fonctionnalités pour la modélisation, la simulation et la vérification des propriétés. Ceci permet de créer des modèles, de comprendre leur comportement et de valider leur bon fonctionnement..

[Audio] Tableau 1 nous permet de constater que plusieurs outils sur le marché prennent en charge les réseaux de Pétri de type Pace / Transition et certains d'entre eux offrent également la possibilité de travailler avec des réseaux de Petri de haut niveau. Ces outils peuvent aider à comprendre ce qui se produit dans le monde réel, mais ne peuvent pas à eux seuls gérer et surveiller des processus, et encore moins fournir une preuve de concept. C'est pourquoi ce projet vise à éditer et à simuler des réseaux de Petri de niveau 2, et à les connecter au monde réel. Ainsi, les réseaux de Petri ont la possibilité de modéliser rigoureusement des systèmes concurrents, et de gérer de manière synchronisée l'accès aux ressources et les conflits potentiels..

[Audio] Le projet a pour objectif de mettre en œuvre un système d'administration et de contrôle de processus industriels basé sur l'utilisation de réseaux de Petri colorés. Cette méthode permet de modéliser et d'analyser les systèmes concurrents de manière formelle et rigoureuse, ainsi que de comprendre et d'analyser la synchronisation entre les divers éléments du système et les différentes étapes nécessaires pour gérer cette interaction. Les applications potentielles incluent la conception et le contrôle de systèmes de processus, l'optimisation des système logistiques et l'analyse des systèmes de sécurité. La mise en œuvre de l'application, à travers un développement cross-platform, permettra de vérifier les capacités à connecter ce concept au monde réel..

[Audio] Pour ce projet, nous avons développé un éditeur pour modéliser des schémas, un simulateur pour tester le schéma et une couche pour le relier au monde réel. Nous essayons de donner aux entreprises l’opportunité d’utiliser le concept des réseaux de Petri pour automatiser leurs processus et améliorer leurs productivité, efficacité et satisfaction du personnel. Nous croyons que cette technologie peut contribuer à l’amélioration des bonnes pratiques en développement agile..

. . CHAPITRE 2 : Elaboration du cahier des charges.

[Audio] À tous, Je vous présente ce travail de Bachelor avec joie. Notre sujet de travail est «Gestion des ressources et contrôle de processus industriels basés sur l’exploitation de réseaux de Petri colorés». Ce travail consiste à implémenter et intégrer des modules à un outil existant, que tel que Wolfgang, et à s’interfacer avec le monde réel. Nous allons également traiter plusieurs formats de sauvegarde, tels que PNML, XPDL, GRAFCET, CSV, JSON. Chacun de ces formats présente ses avantages et ses inconvénients. Enfin, nous allons développer une interface standard, ce qui va nous permettre de naviguer plus facilement dans l'environnement et de visualiser notre travail. Nous nous lançons avec motivation dans ce projet..

[Audio] Dans ce projet, nous devons examiner les formats de fichier utilisés pour stocker et échanger des données tabulaires. Comparer le format de fichier CSV et le format de fichier JSON et choisir le format approprié en fonction des besoins et des outils disponibles. Pour plus tard on aimerait avoir une version web du logiciel, alors stocker des données en format JSON pourrait s'avérer plus approprié. Des contraintes spécifiques à ce projet ont été identifiées. Si nous parvenons à résoudre ces contraintes, nous pourrons explorer davantage l'utilité des réseaux de Petri colorés dans la gestion des processus industriels..

[Audio] Nous sommes ici face à un projet de recherche et développement sur les réseaux de Petri colorés, avec à la clé la possibilité de tester certaines fonctions de base. Cependant, ce projet n’est pas aussi simple qu’il n’y parait. Il est nécessaire de respecter un certain nombre de contraintes: le temps imparti pour la recherche et pour la rédaction du rapport, le budget limité pour l’achat du matériel et des outils de modélisation, ainsi que les exigences de qualité et de rigueur scientifique. Tout cela rend la réalisation du projet plus compliquée. En outre, il y a également les contraintes liées aux ressources humaines et aux compétences. En effet, pour une mise en oeuvre des différentes phases du projet, il a donc été nécessaire de procéder à une planification et à une répartition soigneuse de ce dernier, et de s'assurer que l'étudiant ait bien reçu l'information. De plus, l'absence de compétences spécifiques nécessaires pour mener à bien ce projet et l'utilisation de nouvelles technologies ont également représenté des défis..

[Audio] Dans ce projet, nous visons à étudier et gérer des contraintes reliées à l'exploitation des réseaux de Petri, y compris les réseaux de Petri colorés. Pour ce faire, nous proposons un certain nombre d'étapes pour obtenir des informations utiles des systèmes modélisés, tels que le comportement dynamique et le nombre de jetons. Par exemple, le schéma montre l'interconnexion des composants de notre architecture. Cependant, pour les réseaux de Petri colorés, les algorithmes d'analyse doivent être adaptés pour gérer les jetons colorés. Ainsi, nous visons à créer un dictionnaire Markup Language qui permettra à l'éditeur graphique et simulateur d'analyser les réseaux de Petri colorés..

[Audio] Nous allons faire appel aux réseaux de Petri colorés dans ce travail de bachelor pour aider à la gestion des ressources et à la surveillance des processus industriels. Les réseaux de Petri sont une technique largement utilisée pour modéliser et contrôler des processus à événements discrets. Grâce à l'utilisation des couleurs, les réseaux de Petri colorés permettent d'aller plus loin avec des capacités et possibilités plus grandes. L'objectif est de construire un outil graphique professionnel et des moteurs de simulation associés. Le projet comprend la conception et le développement d’un outil d’édition qui offre aux utilisateurs des fonctionnalités comme la création de modèles graphiques, la simulation et l'analyse des propriétés des systèmes modélisés. Notre visuel Simulateur RDP permet quant à lui de simuler le modèle tout en observant les événements produits et en recommandant des actions à réaliser dans le monde réel. La simulation de réseaux de Petri est donc une approche pratique, simple et efficace pour valider les propriétés souhaitées d’un système à événements discrets. L'outil d'édition et le simulateur de Petri colorés sont donc une contribution importante à la gestion des ressources et à la surveillance des processus industriels et permet une méthode efficace pour valider ces propriétés souhaitées..

[Audio] Dans le contexte actuel, le format JSON est très prisé par les développeurs pour ses nombreux avantages. Open source, facile à lire et à comprendre, il peut s'adapter aux nouvelles exigences et aux nouveaux besoins. Largement utilisé et reconnu, il facilite la communication et la collaboration avec d'autres outils et systèmes. De plus, il est simple à utiliser et à travailler avec des bibliothèques et des outils disponibles dans de nombreux langages de programmation..

[Audio] Nous nous intéressons ici à un moteur de Réseau de Petri (RDP). Il s'agit d'un composant logiciel qui permet d'interpréter et d'exécuter des modèles de réseaux de Petri. On peut l'intégrer à des systèmes de contrôle de processus pour les faire fonctionner en temps réel et l'utiliser avec des éditeurs graphiques RDP pour faciliter la création et l'analyse de modèles. Son intégration à un environnement matériel présente des avantages pour la modélisation et la gestion de systèmes complexes, par exemple en favorisant une meilleure collaboration entre les équipes de développement logiciel et matériel. Par ailleurs, il est possible de relier un outil RDP à un environnement matériel à l'aide d'une interface RDP. Les arcs occupent également une place importante dans la modélisation des processus. Pour tirer parti de leur potentiel, il est nécessaire de créer certaines structures de données et de mettre à jour les algorithmes..

[Audio] Projet de Bachelor portant sur la gestion des ressources et le contrôle de processus industriels basés sur l'exploitation de réseaux de Petri colorés. Doit développer un outil en ligne présentant une image en temps réel de l'état des processus et des ressources associées. Editer les ressources et leurs natures, modéliser les processus sous forme d’enchaînement de tâches et de gestion des ressources ainsi que tracer l'enchaînement d’activités et d’événements. Développer un langage de prédicat et un analyseur associé à la gestion des processus serait un plus..

[Audio] Nous avons choisi d'utiliser les Réseaux de Petri standard dans le cadre de ce projet de preuve de concept. Les avantages principaux sont la convivialité de l'outil d'édition et la possibilité d'interfacer le système avec des cartes électroniques et leurs capteurs et actionneurs. Nous pouvons également préparer une spécification qui prend en compte les attentes du client et un cahier des charges, et classer les tâches en fonction de leur caractère principal ou secondaire..

[Audio] Explorons les maquettes : une représentation partielle ou complète d'un système ou d'un objet destinée à en tester et valider certains aspects et/ou le comportement. L'interface principale de notre application est détaillée dans le schéma présenté, avec ses différents boutons servant à exécuter une action, comme sauvegarder, créer ou encore modifier une ligne du schéma. La figure 4 présente la version initiale de l'application, bien qu'il y ait eu de nombreuses améliorations, et que seuls certains points sont restés intacts. La dernière version est décrite dans la figure 5..

[Audio] Partie du travail de baccalauréat présentée portant sur la gestion des ressources et le contrôle des processus industriels basés sur l'utilisation de réseaux de Petri colorés. Développé une solution logicielle avec des fonctionnalités intéressantes. Expliqué l’utilité des boutons se trouvant sur interface graphique, rappelant menu File permet d’ouvrir ou de sauvegarder des fichiers, menu « Voir » propose différentes formes pour modéliser réseaux de Petri, menu Help crée une aide sur le logiciel et menu « Nouveau » permet de créer un nouveau document. Objets utilisés pour la modélisation grâce aux outils (7-9). Outil (10) permet de supprimer des objets tandis que outil (11) permet de les déplacer. Outils (12-13) permettent de faire des versions antérieures et de mettre le logiciel en mode édition, tandis que mode simulation (15-17), permet d'obtenir des données en temps réel et de faire une interface avec monde réel grâce à des threads..

[Audio] Examinons les deux scénarios de simulation possibles pour les contrôleurs basés sur des réseaux de Petri colorés. Le premier scénario est la simulation manuelle, automatique et dual du logiciel, qui prend en compte le logiciel exécutant des événements fictifs ou entrés manuellement. Dans ce cas, les changements des couleurs des transitions seront visibles lorsque l'événement associé survient. Le deuxième scénario est la simulation manuelle, automatique et dual du matériel, qui est synchronisée avec le monde extérieur. Une donnée de ce hardware est reçue et une action sera déclenchée, produisant un événement à analyser. De plus, le mode "exécution automatique" et "pas à pas" permet une interaction avec le monde réel et une visualisation étape par étape des processus..

[Audio] Cette diapositive explique comment est réalisé le schéma illustrant un cas simple de fonctionnement d’une simulation. Un "clic" sur la transition représente un événement. Une action est produite, qui consiste à déplacer ou à consommer le jeton d'une place à une autre, guidée par l'arc. Il y a deux zones principales: la zone d'affichage des données reçues par Arduino et la zone d'exécution. Pour illustrer les fonctionnalités dont le produit final doit disposer, nous utiliserons un schéma simplifié comprenant les éléments de base nécessaires pour comprendre la fonction à réaliser. Ces fonctionnalités sont réparties en 4 phases: la phase 0 et les phases 1 à 19..

[Audio] Observez les figures 7 et 8 de ce diaporama. Dans ce travail de Bachelor, nous nous intéressons à la gestion des ressources et au contrôle des processus industriels basés sur l’exploitation des réseaux de Petri colorés. Pour ce faire, nous devons sélectionner et déplacer des objets individuels. Pour déplacer un objet, sélectionnez-le sur la zone de commande, déplacez-le avec le curseur de la souris et placez-le sur la zone d'affichage. Une nouvelle instance de l'objet ainsi placé sera créée et référencée dans une liste, également visible. De plus, pour créer des arcs reliant les places et les transitions, appliquez le même principe. Sélectionnez un objet de la zone d'affichage, déplacez-le et placez-le. Cette méthode s’applique à tous les objets de la zone d'affichage..

[Audio] Nous examinons la façon de créer des arcs et de souder des objets au travers d'un arc. Il y a deux types d'arcs : de pré-incidence et de post-incidence, et ils sont rattachés aux objets graphiques (Places, transitions et arcs). La création consiste à sélectionner l'icône de l'arc, cliquer sur une place et déplacer le curseur de la souris. Quand on clique sur une transition, l'arc se connecte à la place et à la transition. Ces arcs liés aux objets suivent le mouvement de la place et restent reliés aux objets en cas de déplacement de la place..

[Audio] La figure 11 montre le schéma de paramétrage d'objets. Pour sauvegarder le schéma dans un fichier structure, un format Standard PNML de conversion en format XML (PNML ou un format propriétaire JSON) doit être utilisé. Le fichier de sauvegarde doit stocker les éléments nécessaires afin de pouvoir réinitialiser le dessin exactement. Les places, transitions et arcs peuvent être paramétrés selon des valeurs comme Nom, Capacité, NBTokens, Pinitialisation et Poids..

[Audio] L'action principale de cette diapositive est le chargement de fichier. Une commande d'ouverture de fichier permet de retrouver le fichier souhaité et de le charger. Une fois chargé, le document subit une interprétation, reconstituant ainsi la structure de données et l'affichage tel qu'il était lors de la sauvegarde. La technique d'interprétation dépend du format adopté : PNML ou propriétaire. En résumé, cette étape permet de transformer le document dans le format souhaité et de le sauvegarder..

[Audio] Examinons le travail de bachelor de Cedric Jeulin Lankeu Ngassam et intéressons-nous aux processus industriels basés sur l’exploitation des réseaux de Petri colorés. Abordons en particulier les questions liées à la gestion des ressources et au contrôle des processus. Utilisons deux modes de sauvegarde : “save” et “save as”, pour ne rien perdre en cas de fermeture du document. Examinons les possibilités de modification des tailles et des couleurs des objets, et les façons de les regrouper. Ajoutons du texte déplaçable, pour aider à mieux comprendre les processus. Voyons comment regrouper certains icônes et les mettre dans des menus, pour préparer le document. Observez attentivement cette présentation et prenez en compte chacun des pas décrits, pour bien comprendre et assimiler ces notions cruciales..

[Audio] Dans ce travail de Bachelor, nous avons abordé le sujet de la gestion des ressources et du contrôle de processus industriels basés sur l’exploitation des réseaux de Petri colorés. Nous avons mis l'accent sur l'importance d'implémenter des identifiants uniques aux places et transitions des réseaux, pour permettre un meilleur suivi des changements et un développement plus facile. Nous avons également proposé de modifier le format des arcs de pré et post-incidences des réseaux, ce qui permettrait d'effectuer des changements facilement et sans aucun problème..

[Audio] Figure 17 shows the scheme illustrating the possibilities of ‘breaking’ an arc modification. With this feature, we can manage the properties of objects. The default properties of a place are name, capacity and initial marking, whereas for a transition we have the name and we will add events later. As for an arc, we will record the weight and determine the type later. If the initial marking of the place is positive, it means that one or more tokens must be displayed. The tokens are represented by black discs, up to 6 tokens. Beyond 6 tokens, we will display the number. We will implement the Edit/Simulation mode associated with the button and integrate the simple Petri network engine. Finally, we will save the logs in a file to later consult everything that happened during the simulation, as well as the time and date. Upon opening the file, we will not need to keep the points individually, we will just need to keep the segments..

[Audio] L'objectif de cette étude de Bachelor est de gérer les ressources et contrôler les processus industriels en exploitant des réseaux de Petri colorés. Nous mettrons en place des scénarios pour tester l'émulation du projet RDP. Pour cela, nous travaillons avec des capteurs de température et de mouvement ainsi que des LED symbolisant les activités thermiques. Afin de comprendre le fonctionnement du système, nous devons initialiser le système en mode veille, avec des LED éteintes et sans détection humaine. Si une absence humaine est détectée et que la température est inférieure à 15°C, nous allumons une LED jaune. Si une présence humaine est détectée, la LED verte s'allume pour mettre l'appareil en veille avec présence humaine. Si le système comptabilise une présence humaine et que la température est supérieure à 25°C, nous allumons une LED bleue pour refroidir le milieu, et si elle est inférieure à 20°C, nous allumons une LED rouge pour chauffer..

[Audio] Montre la figure 20, un réseau de Petri coloré peut s'utiliser pour contrôler un processus industriel. Exploitation d'un thread servant à communiquer avec un centre météorologique permet d'anticiper une baisse des températures. Système initialisé en mode veille et un arrosage est déclenché si le facteur de pondération dépasse le seuil P1. Une LED bleue s'allume si la météo annonce des températures basses et une LED rouge si le Timer initialisé à 10 minutes est dépassé. Une fois le Timer écoulé, le système revient en mode veille et peut couvrir le terrain si nécessaire..

[Audio] Nous allons aborder la conception et l'utilisation d'un réseau de Petri coloré afin de résoudre des problèmes complexes. Notre structure de données évoluera pour intégrer ce concept, mais nous ne pourrons pas aller plus loin durant le travail de Bachelor car nous nous concentrerons sur la mise en place d'une interface avec le monde réel. La mise en place d'un réseau de Petri coloré n'apportera pas une plus-value concrète au projet..

[Audio] Chapitre 4 analyse le cahier de charges du projet. L'examen des exigences et des spécifications définies pour le projet est une étape essentielle afin d'atteindre les objectifs, les fonctionnalités et les contraintes du projet. Le développement d'interfaces graphiques est une tâche importante, qui demande des ressources et du temps. Pour répondre aux exigences du projet, il est important de créer des prototypes des interfaces. C'est pourquoi il est important de choisir un environnement de développement approprié pour faciliter le processus. Les sections suivantes de ce chapitre fournissent des informations détaillées sur le développement des interfaces, ainsi que sur l'état de l’art et la solution choisie..

[Audio] Nous allons aborder le travail de Bachelor qui vise à étudier les méthodes et outils pour gérer efficacement les processus industriels basées sur l'exploitation de réseaux de Petri colorés. Nous examinerons divers langages de programmation adaptés pour le développement des applications de bureau et leurs particularités, avantages et inconvénients. Ces langages sont Python, Java et le langage C. Python est un langage simple, mais il nécessite plus de tests et peut avoir des erreurs non détectées. Java est un langage très connu et très demandé mais il peut faire appel à plus de mémoire et est moins rapide pour certaines simulations. Le langage C est très puissant et flexible pour de nombreuses applications, mais il est difficile à apprendre et ne possède pas de capacité multiplateforme..

[Audio] Dans cette présentation, nous examinons les différents langages de programmation qui peuvent être utilisés pour le développement des applications de bureau. Particulièrement, nous allons comparer C++, JavaScript, Ruby, PHP et Objective-C. Ces langages ont tous des caractéristiques uniques et des avantages et des inconvénients qui doivent être pris en compte. Chacun a sa propre syntaxe et différents outils dont ils peuvent bénéficier..

[Audio] Dans le Tableau n°2, nous pouvons comparer différents frameworks et leur portée. Après une étude attentive des différents choix disponibles, nous avons opté pour le framework Qt, pour garantir de meilleures performances en termes de "UI engine", et pour anticiper sur la nécessité de rendre notre application éfficace, disponible pour les ordinateurs de bureau et facilement adaptable à d'autres plates-formes telles que les mobiles. Grâce à Qt Quick, nous pouvons rapidement créer une interface utilisateur, avec une logique en C++ qui est nécessaire pour le développement de l'application..

[Audio] Nous présentons un système de gestion des ressources et de contrôle de processus industriels basés sur une exploitation des réseaux de Petri colorés. Pour l'interface utilisateur et le développement d'applications qui nécessitent des performances optimales, nous avons choisi Qt et C++ comme langage de développement. Qt nous permet d'injecter du code natif et de bénéficier de nombreux modules prêts à l'emploi pour intégrer des solutions populaires. Nous avons opté pour Qt Widget pour développer l'interface standard, et C++ pour sa polyvalence et sa possibilité d'utiliser divers types d'applications. Les librairies et les IDE utilisés pour réaliser ce système incluent C++, C, JAVA, protocole Serial Port, logiciel StarUML, Qt Creator, Arduino et NetBeans ainsi que diverses autres librairies..

[Audio] Aujourd'hui, je vais vous présenter la gestion des ressources et le contrôle de processus industriels basés sur l'exploitation de réseaux de Petri colorés. Pour construire notre solution, nous devons choisir le microcontrôleur approprié et trouver les caractéristiques qui correspondent aux besoins du projet. Pour ce faire, nous avons élaboré une matrice de comparaison qui nous permet de comparer huit microcontrôleurs différents pour trouver le meilleur candidat. Merci de votre attention..