31 J. Julvez L. Recalde M. Silva 2005 Steady-state performance evaluation of continuous mono-T-semiflow Petri nets Automatica 41 605-616