3 J. Julvez L. Recalde M. Silva 2002 On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets 781-786