Abstract: A translation from time Petri nets to linear logic is presented in this paper. The definition of time Petri nets is described by defining the translations in Petri nets using the connectives in linear logic, and fire rules in time Petri nets are defined using linear logic. The behavior of time Petri nets can be constructed and temporal reasoning can be realized using the rules defined. The behavior of time Petri nets can be analyzed clearly using the method introduced.