A Mathematical Programming Model for safe T-Time Petri Nets
Résumé
In this paper, we propose a mathematical programming model for the resolution of the reachability problem in Time Petri Nets. We are more particularly interested in unweighted Time Petri Nets with safe markings and weak time semantics