RLGchecker - INSEI - Institut national supérieur de formation et de recherche pour l'éducation inclusive
Logiciel Année : 2024

RLGchecker

Résumé

The core objective of our system is to automatically verify whether common tasks in RLG quests can be performed concurrently. It is used with the Laalys tool to analyse Petri nets.

Domaines

Environnements Informatiques pour l'Apprentissage Humain

Gaëlle Guigon  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04639856

Soumis le : lundi 15 juillet 2024-14:52:55

Dernière modification le : mardi 17 septembre 2024-16:00:47

Consulter sur Present sur SoftwareHeritage

Dates et versions

hal-04639856 , version 1 (15-07-2024)

Identifiants

Métadonnées

  • version : 3.0.0
  • Licences : https://spdx.org/licenses/CC-BY-NC-SA-4.0
  • Langage de programmation : Python
  • Code Repository : https://github.com/GuigonGaelle/RLGchecker.git

Citer

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM TICE CNRS LIP6 INSHEA SORBONNE-UNIVERSITE SU-SCIENCES TEL UNIV-PARIS-LUMIERES IMT-NORD-EUROPE INFOLOGY-INFOLOGIE CERI-SN INSTITUT-MINES-TELECOM
124 Consultations
0 Téléchargements

Partager

More