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.

Splitfastq est un outil en ligne de commande conçu pour fragmenter des fichiers FASTQ, utilisés en génomique pour stocker des séquences d'ADN. Il permet de diviser ces fichiers en sous-ensembles de données, facilitant ainsi leur traitement parallèle par des logiciels comme bwa. L'outil est particulièrement utile pour accélérer les analyses de séquençage en répartissant la charge de calcul sur plusieurs processus.

Cette bibliothèque permet de mesurer et d'enregistrer des timestamps pour des événements spécifiques dans des applications itératives ou dynamiques. Elle facilite l'analyse des performances en capturant les durées entre différentes étapes d'un processus, notamment dans des environnements parallèles comme MPI. Les données collectées peuvent être exportées pour une analyse ultérieure.