Formal solution for the generalized mutual exclusion constraints problem in a class of timed Petri NetsJihene Rajah and Said AmariRAIRO-Oper. Res., 60 2 (2026) 597-614DOI: https://doi.org/10.1051/ro/2025165
