Abdulrab, H; Ngomo, M; Drissi-Talbi, A
(South African Computer Society (SAICSIT), 2000)
The aim of this paper is to introduce temporal processes and linear constraints on naturals for solving temporal discrete simulations problems. We first describe a new approach for solving such constraints, based on the ...