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.
![]() |
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 27 août 2024-12:56:58