In my diploma thesis (written in English), I define the syntax and semantics of a language for the description of stochastic models. Such models can be useful to estimate the efficiency and bottlenecks of complex systems like communication systems or production pipelines. This language is called MOSEL-2. Its predecessor, MOSEL, has been developed by Helmut Herold as part of his doctoral thesis. MOSEL-2 is easier to work with for newcomers, and its semantics are fully described in terms of stochastic processes. MOSEL-2 has the same descriptional power as Generalized Stochastic Petri Nets, but it allows for models that are shorter and easier-to-read. I also extend MOSEL-2 to generate model descriptions for the Stochastic Petri Net Evaluator TimeNET, which is able to handle deterministic timed transitions in addition to immediate and exponential transitions. If you have a Linux or a Solaris computer and access to SPNP or TimeNET, you may download the MOSEL-2 program suite. It is available under the GNU Public License (GPL). You might read the installation instructions first.
You can learn more about MOSEL-2 in the University's official MOSEL project homepage. There you may download a newer version of MOSEL-2.