Modular Petri net modeling of the Spanish health system | Publicación