This paper presents an overview of the established concepts of David Harel' s higraphs, to increase their visibility. Higraphs are a union of extended graph and extended set theory which allows the understandable definition ...