P Systems e Reti di Petri

Supervisor
Enrico Formenti - University of Nice, Francia
Date and time
Tuesday, February 24, 2004 at 5:30 PM
Place
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Vincenzo Manca
External reference
Publication date
February 4, 2004
Department
 

Summary

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.





© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234