Formal solution for the generalized mutual exclusion contraints problem in a class of timed Petri nets.

HAL (Le Centre pour la Communication Scientifique Directe) 2026

Authors: Rajah, Jihene, Amari, Said
Cited by: 0

Fields of Study & Subjects

Petri Nets in System Modeling Distributed systems and fault tolerance Formal Methods in Verification

Publication details

Journal / source
HAL (Le Centre pour la Communication Scientifique Directe)
Publication date
1 January 2026
Language
EN