Formal solution for the generalized mutual exclusion constraints problem in a class of timed Petri Nets
and
RAIRO-Oper. Res., 60 2 (2026) 597-614
Published online: 18 March 2026
DOI: 10.1051/ro/2025165
