Kindler, EkkartDesel, JörgWeske, Mathias2019-11-142019-11-1420023-88579-350-4https://dl.gi.de/handle/20.500.12116/30157DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that allows us to use it for verifying component bases systems by modelling components and their interaction independently of each other.ebText/Conference Paper1617-5468