Petri Strategies est un projet dédié à la visualisation et l'analyse de réseaux biologiques. Il permet aux chercheurs en biologie computationnelle de représenter et d'étudier des données complexes, facilitant ainsi la compréhension des processus biologiques.

Ce projet vise à explorer et implémenter les réseaux de Petri, un outil mathématique utilisé pour modéliser et analyser des systèmes concurrents ou parallèles. Il permet de représenter visuellement et formellement des processus complexes, facilitant ainsi leur compréhension et leur optimisation.

Outil de modélisation et de simulation de réseaux de Petri, permettant la représentation et l'analyse de processus métiers.

Ce projet est une bibliothèque Julia dédiée à la simulation, l'inférence statistique et la vérification de chaînes de Markov à temps continu. Il permet de modéliser des réseaux de réactions chimiques et des réseaux de Petri stochastiques, tout en offrant des méthodes d'approximation bayésienne pour l'analyse de systèmes dynamiques complexes. Les outils implémentés facilitent l'étude des processus stochastiques dans des domaines comme la biologie des systèmes ou la chimie computationnelle.

Ce projet vise à implémenter des réseaux de Petri temporisés sur des cartes Arduino pour modéliser et analyser des systèmes embarqués en temps réel. Il permet de simuler des comportements complexes et de valider des architectures logicielles ou matérielles avant leur déploiement.

Projet académique visant à implémenter et analyser des solutions de synchronisation pour des problèmes de lecture-écriture concurrentes. Le travail porte sur l'utilisation de sémaphores et de moniteurs pour résoudre des conflits d'accès à des ressources partagées, avec une validation par modélisation en réseaux de Pétri.

Le projet pn-parser est un outil permettant l'analyse et la simulation de réseaux de Petri. Il permet de générer du code à partir de modèles de réseaux de Petri et de simuler le comportement de systèmes concurrents.

Outil d'analyse et de traduction de contrats intelligents Ethereum vers des réseaux de Petri colorés (CPNs). Il permet de vérifier des propriétés formelles sur ces contrats à l'aide de la logique temporelle linéaire (LTL).