Process modeling and thermodynamic analysis of Lurgi fixed-bed coal gasifier in an SNG plant