Return to Article Details Lyapunov-Max-Plus-Algebra Stability in Predator-prey Systems Modeled with Timed Petri Net Download Download PDF