Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response