RLGchecker - Archive ouverte HAL
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 : mercredi 30 octobre 2024-13:32:53

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

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

Partager

More