Petri nets are a general modeling language aiming at analysis of behavior of various types of systems. Especially, colored Petri nets are expressive and powerful, as they allow to use in models data types, transform the data and use conditional execution.
Probably, you expect a kind of simulation giving the answer, how the system state (e.g. a number of infected peple) will evolve with or without disease transmission blocking. Usually, Petri net tools provide such functionality as simulation and (limited) analysis of reachable states.
However, to get more concrete answer you should describe the nature of the planned model. The range of possible models can be very large: from low-level biochemical interactions to statistical modeling of a population exposed to a disease. However, I am sure that the mosquito lifecycle model that you included in one of yours papers can be expressed with Petri nets and the simulation would give some computational results.