Modular Petri net modeling of the Spanish health system. - Cristian Mahulea; Juan-Manuel Garcia-Soriano; José Manuel Colom (ETFA, 2012)