DdPetri (Petri net collection tools of Diades)
DdPetri (Outil de manipulation de réseaux de Petri pour Diades)
Résumé
Petri net library as a standalone project (source code in submodules ddpetri_subm). This library is a component of the Diades collection tools that performs model-based diagnosis on discrete event system.
Until now this module provides only two command tools for untimed Petri nets: dd-lpn-dot and dd-lpn-sync.
It also provides an API to manipulate Petri net and Time Petri nets (especially specific synchronization operations). Based on the file format of the Tina toolbox developed in LAAS-CNRS, Toulouse, France
Bibliothèque de réseaux de Petri en tant que projet autonome (code source dans les sous-modules ddpetri_subm). Cette bibliothèque est un composant de la collection d'outils Diades qui effectue des diagnostics basés sur des modèles sur des systèmes à événements discrets.
Jusqu'à présent, ce module ne fournit que deux outils de commande pour les réseaux de Petri non temporisés : dd-lpn-dot et dd-lpn-sync.
Il fournit également une API pour manipuler les réseaux de Petri et les réseaux de Petri temporels (en particulier des opérations de synchronisation spécifiques). Basé sur le format de fichier de la boîte à outils Tina développée au LAAS-CNRS, Toulouse, France.
