Some properties of timed nets under the earliest firing rule

We show that timed nets under the earliest firing rule can be transformed equivalently to Petri nets working under the maximum firing strategy. Additionally, we give two sufficient conditions for live Petri nets to remain live under any timing.