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.

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.