P Systems e Reti di Petri

Speaker:  Enrico Formenti - University of Nice, Francia
  Tuesday, February 24, 2004 at 5:30 PM
I P systems sono modelli formali introdotti recentemente per modellizzarele reazioni chimico/fisiche che intervengono nella biologia cellulare.In questo intervento dimostreremo come questi sistemi possano essere"simulati" via reti di Petri. Da questo fatto dedurremo che proprietà,molto importanti nella biologia cellulare, come boundedness, raggiungibilità e ciclicità sono decidibili. Concluderemo con una serie di problemi aperti.

Place
Ca' Vignal 3 - Piramide, Floor 0, Hall Verde

Contact person
Vincenzo Manca

Publication date
February 4, 2004

Studying