A Mixed Lyapunov-Max-Plus Algebra Approach to the Stability Problem for a two Species Ecosystem Modeled with Timed Petri Nets