(Distributed Systems and Operating Systems)

unchanged. Parts of this work may be cited provided the citation is marked and its source is referenced. 2 MOSEL (Modelling, Specification and Evaluation Language) is a textual computer language for the description of stochastic dynamic models and performance measures that result from such models, and it is the name of a modelling environment by which such descriptions can be analysed and their given performance measures can be computed. With MOSEL, complex systems can be modelled, like communication networks, production lines, computer systems, and many more. Like stochastic Petri Nets, it is based on places (which are called “nodes” in MOSEL) and transitions (which are called “rules”). For actual evaluation, the MOSEL environment calls an external tool after having translated the MOSEL description into the respective tool’s description format. Until now, the Petri Net analysis tool SPNP and the state analysis tool MOSES can be used for this purpose. In the present thesis, I describe how I have integrated TimeNET, a Petri Net analysis tool, into the MOSEL environment. Th