Specification of Discrete Event Models for Fire Spreading · Study