Static analysis of usefulness states in transition P systems - Ginés Bravo; Fernández Muñoz, Luis; Arroyo Montoro, Fernando; FRUTOS VELASCO, JUAN ALBERTO DE (2007)