Aarhus University Seal / Aarhus Universitets segl

Master's Thesis Students

Morten Vinther Pedersen
Quality of Service for VoWLAN, 2005
Henrik L. Jensen
MobyM - A Mobile Ad-hoc Network Emulation Environment, 2005'
Kenneth-Daniel Nielsen
Evaluation of Broadcast Based Protocols for Data Dissemination in Traffic Warning Network, 2004
Niclas Renberg Gregersen, Torben Frost-Thorsen
Research of functionality and reusability in the development of an object oriented software framework for a family of flow meters, 2004
Benjamin Bayart, Thibaut Ribes
Modular State Spaces in Design/CPN, 2003
Eva Kjær Troels, Henrik Refslund Sørensen
Routning i mobile ad hoc netværk, 2003
Jonas Martin Thomsen, René Manggaard Jensen
Analysis of GSM Handovers using Coloured Petri Nets, 2003
Stefan Sørensen
I/O Efficient State-Space Storage, 2002
Farret Guillaume, Carré Guillaume
Distributed Methods for Computation and Analysis of a Coloured Petri Net State Space, 2002
Jakob Færch
Modellering af interaktive, eventbaserede multimediesystemer ved hjælp af farvede petrinet, 2002
Anders Morten Mikkelsen
On-the-fly LTL Model Checking in Design/CPN, 2001
Torbjørn Donbæk, Jan Møller
Internal Network Security - Defending the Network from the Inside, 2001
Jan-Henrik Paulsen
Automatic Code Generation from Coloured Petri Nets, 2000
Cooperation with Dalcotech A/S, Nørresundby as part of the AC/DC project.
Tina Olesen
Coloured Petri Nets and State Space Reduction Methods, 2000
S. Nimsgern, F. Vernet
Communication between Coloured Petri Net Simulations and External Processes, 2000
Anette Christensen
Design and Analysis of a Bus Scheduling System by Means of Coloured Petri Nets, 1999 (in Danish)
Jean-Pascal Peltier (French exchange student, Socrates Programme)
Interval Timed Coloured Petri Nets, 1999
Bo Lindstrøm, Lisa Wells
Performance Analysis and Coloured Petri Nets, 1999
Cooperation with Hewlett-Packard, as part of HP-CPN.
Finn Pedersen
Modelling and Validation of a Cache Coherence Protocol, 1999 (in Danish)
Jesper Jensen, Peter Høggaard
Application of Coloured Petri Nets in an Object-Oriented Method, 1997 (in Danish)
Aksel Jørgensen, Claus Hemberg Jørgensen
VLSI Modelling with Coloured Petri Nets, 1996 (in Danish)
Mejar Singh, Jens L. Rasmussen
Designing and Analysing a Security System by Means of Coloured Petri Nets, 1996
Cooperation with Dalcotech A/S, Nørresundby as part of an ESSI project
Part of thesis is published as a paper at an international conference
Jan Toksvig
Design and Implementation of a Place Invariant Tool for Coloured Petri Nets, 1995
Afshin Foroughipour
Construction of the OS-graph with Permutation Symmetries of a Coloured Petri Net using Algebraic Algorithms, 1995
Tommy Rudmose Hansen, Torben Bisgaard Haagh
Optimising a Coloured Petri Net Simulator, 1995
Cooperation with Meta Software Corporation, Cambridge MA, USA
Peter Ryberg Jensen, Henning Clausen
Usage Parameter Control Algorithms in High Speed Networks, 1993.
Part of thesis is published as a paper at an international conference
Michael Pedersen, Jens Bæk Jørgensen, Rikke Drewsen Andersen
State Spaces with Equivalent Markings and Self-symmetries, 1991 (in Danish)
Lars Kjærulff Christensen, Thomas Groth, Henrik Juul Geer Rasmussen
Numerical Petri Nets and Protean (in Danish)
Cooperation with Jutland Telephone, Aarhus, 1988
Bente Rose Andersen, Joan Jensen, Anne Marie Skelde-Petersen
Description of an Office System by means of RFA-nets (in Danish)
Cooperation with the State and University Library, Aarhus, 1988
Kim Halskov Madsen, Niels Damgaard Hansen
System Description by means of Petri Nets, 1983 (in Danish)
Published as DAIMI-IR 50 (internal report of Department of Computer Science, University of Aarhus)