Modeling Ebola Virus Dynamics by Colored Petri Nets

Abstract

We develop techniques to translate deterministic cellular automata models into colored Petri nets based on an example of known cellular automata for modeling and mimicking Ebola virus dynamics. Cellular automata for Ebola virus dynamics use parametric specifications of rules that is peculiarity of the present study. The simulation results completely coincide with known results obtained via dedicated simulator. Having uniform language for models specification brings in advantages for models mutual transformations and simulation.