This work addresses the problem of performing a formal modelling of the
processes related to the surgical pavilions and an anaesthesia unit on a Chilean
hospital. To perform this modelling we used Specification and Description
Language (SDL). The model was very successful in order to document and to
understand the tacit knowledge of the unit and facilitates the simulation.Peer ReviewedPostprint (published version