Subiono and Z. . Sya’diyah, “Lyapunov-Max-Plus-Algebra Stability in Predator-prey Systems Modeled with Timed Petri Net”, JTS, vol. 22, no. 3, pp. 117–121, Jul. 2025.