P Systems e Reti di Petri

Relatore
Enrico Formenti - University of Nice, Francia

Data e ora
martedì 24 febbraio 2004 alle ore 17.30

Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Vincenzo Manca

Referente esterno

Data pubblicazione
4 febbraio 2004

Dipartimento
 

Riassunto

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.
ornamento
Inizio pagina