All components in a given batch process are modelled with automata. Observable event traces in diagnoser can be generated to facilitate fault diagnosis. Auxiliary automata can be constructed to stipulate the operational goals of ASM. Automata-based methods are proposed for synthesis of emergency response procedures.