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.
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.
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 14 avril 2026-12:20:02