A Petri-net approach for firefighting force allocation analysis of fire emergency response with backups. (January 2023)