pitpn2maude-journal
Ce projet fournit une sémantique de logique de réécriture pour les réseaux de Petri paramétriques avec arcs inhibiteurs (PITPNs). Les détails de la traduction sont décrits dans un rapport technique technique report. Le projet a été testé avec Maude 3.3.1 et Maude SE. Un script Python est utilisé pour parser les fichiers d'entrée Roméo en fichiers Maude.
Dépôt de code
Cas d'utilisation métiers
Organisation
- Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace (organisation rattachée)
Outils utilisés
- Requests : voir les initiatives de ses organisations qui l'ont aussi
- pytest : voir les initiatives de ses organisations qui l'ont aussi
- BeautifulSoup : voir les initiatives de ses organisations qui l'ont aussi
- XML : voir les initiatives de ses organisations qui l'ont aussi
- Pandas : voir les initiatives de ses organisations qui l'ont aussi
- Plotly.js : voir les initiatives de ses organisations qui l'ont aussi
- Jupyter : voir les initiatives de ses organisations qui l'ont aussi
Description générée le mardi 19 mars 2024 à 17:47:19
D'autres initiatives de la même organisation
- #dataESRdata.esr.gouv.fr
- French Open Science Monitorfrenchopensciencemonitor.esr.gouv.fr
- CurieXplorecuriexplore.enseignementsup-recherche.gouv.fr
- Works-magnetworks-magnet.esr.gouv.fr