Resumen: This paper presents a modular approach for modeling healthcare systems using Petri nets. It is shown that a healthcare system can be constructed by different modules whose inputs and outputs are connected according to their geographical location. Each module can be modeled in two phases: (1) obtain the sequences of treatments and cares received by a patient in the case of a particular disease/condition, and (2) add the resources necessary to perform the previous sequences. The global model is obtained by fusion the inputs and outputs of the modules and by adding information on the patients. The constructed modules together with the resources are Petri nets belonging to a new subclass called healthcare Petri nets that is proved to have equivalent behavior with (Formula presented.) nets, a well-known class of Resource Allocation Systems. This allows us to apply the structural results already existing in the literature for (Formula presented.) to the context of healthcare systems. In order to illustrate the results, a case study of a public healthcare area in Zaragoza is considered as a use case. Idioma: Inglés DOI: 10.1007/s10696-017-9283-9 Año: 2018 Publicado en: FLEXIBLE SERVICES AND MANUFACTURING JOURNAL 30, 1-2 (2018), 329-357 ISSN: 1936-6582 Factor impacto JCR: 2.519 (2018) Categ. JCR: OPERATIONS RESEARCH & MANAGEMENT SCIENCE rank: 27 / 84 = 0.321 (2018) - Q2 - T1 Categ. JCR: ENGINEERING, MANUFACTURING rank: 22 / 49 = 0.449 (2018) - Q2 - T2 Factor impacto SCIMAGO: 1.326 - Management Science and Operations Research (Q1) - Industrial and Manufacturing Engineering (Q1)