Aggiunger handlers vari e altro

Da fare unione alla Gui con le reti di petri