With Systems Biology, a promising new application area for modelling and simulation emerges. Today's biologists are facing huge amounts of data delivered at different levels of detail by a multitude of advanced experimentation techniques. The Systems Biology approach copes with this information by cycling through phases of forming hypotheses, constructing models, experimenting with or analysing these models, and validating the findings by wet-lab experiments. A crucial point is therefore the way in which the knowledge about a system is formalized, that is, how a biological system is described, as this constrains the perception of the system as well as the scope of possible answers the model might provide. In this article, we compare different discrete event modelling formalisms (PETRI NETS, Stochastic p-CALCULUS, STATECHARTS, and DEVS) regarding their applicability to a cell biological system of current research interest, the Wnt signalling pathway. We then introduce the popular Gillespie algorithm, which is the foundation of many discrete event simulators for molecular-biological systems, and elaborate on some interesting extensions.