Lyapunov-Max-Plus-Algebra Stability in Predator-prey Systems Modeled with Timed Petri Net - Subiono, Subiono (Institut Teknologi Sepuluh Nopember, 2011)