Strumenti di simulazione per impianti IGCC con cattura e sequestro della CO2