RLGchecker - Archive ouverte HAL
Software Year : 2024

RLGchecker

Abstract

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.

Domains

Technology for Human Learning

Gaëlle Guigon  : Connect in order to contact the contributor

https://hal.science/hal-04639856

Submitted on : Monday, July 15, 2024-2:52:55 PM

Last modification on : Tuesday, September 17, 2024-4:00:47 PM

Consulter sur Present sur SoftwareHeritage

Dates and versions

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

Identifiers

Metadata

  • version : 3.0.0
  • Software License : https://spdx.org/licenses/CC-BY-NC-SA-4.0
  • Programming Language : Python
  • Code Repository : https://github.com/GuigonGaelle/RLGchecker.git

Cite

Export

format_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
167 View
0 Download

Share

More