3 C.R. Vázquez M. Silva 2010 Timing-dependent boundedness and liveness in continuous Petri nets 10th International Workshop on Discrete Event Systems (WODES) Berlin, Germany 09/2010