CPN People at University of Aarhus
- Current Members of the CPN Group
- Former Members of the CPN Group
- Current and Former Master's Thesis Students
Current Members of the CPN Group
Kurt Jensen (Professor)
- Research Areas
-
Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use
Developed the first version of Coloured Petri Nets (1979)
Head of the group that developed the Design/CPN tool (1989)
Author of a 3-volume text book on Coloured Petri Nets (1992-97) - Projects
- IPv6: Design and Validation of Protocols, UML+CPN@Nokia, HP-CPN, MAFIA, CPN Tools, CPN2000, STATES, CAESAR, AC/DC, Design/CPN
- Duties
- Head of CPN group
Member of Steering Committee for the International Petri Net Conferences - Publications
-
In Petri Nets Bibliography
On-line Versions of Papers - Address
-
Phone: +45 8942 5612
E-mail: kjensen@daimi.au.dk
Søren Christensen (Associate Professor)
- Research Areas
- Extensions of CP-nets, Practical Use of CP-nets, Tools for CP-nets
- Projects
- IPv6: Design and Validation of Protocols, UML+CPN@Nokia, HP-CPN, MAFIA, CPN Tools, CPN2000, STATES, CAESAR, AC/DC, Design/CPN
- Publications
-
In Petri Nets Bibliography
On-line Versions of Papers - Address
-
Phone: +45 8942 5627
E-mail: schristensen@daimi.au.dk
Jens Bæk Jørgensen (Associate Professor)
- Research Areas
- Software engineering, requirements engineering, modelling and modelling languages (e.g., Coloured Petri Nets, UML), distributed systems, pervasive computing
- Projects
- UML+CPN@Nokia
- Duties
- Course on Distributed Systems (dDist), Course on Model-driven Software Development
- Publications
- In Petri Nets Bibliography
- Address
-
Phone: +45 8942 5657
E-mail: jbj@daimi.au.dk
Lars M. Kristensen (Associate Professor)
- Research Areas
- State Space Methods, Ad Hoc Networking, and IPv6
- Projects
- ASCoVeCo, COAST/CPN, IPv6: Design and Validation of Protocols, LIWAS
- Duties
-
Course on Computer Architecture
Course on Operating Systems
Course on Network Protocols and Internetworking
Course on Protocols for Mobile Ad-hoc Networking
Course on Coloured Petri Nets - Publications
-
In Petri Nets Bibliography
On-line Versions of Papers - Address
-
Phone: +45 8942 5686
E-mail: kris@daimi.au.dk
João Miguel Fernandes (Visiting Assistant Professor 2005)
- Present Affiliation
- University of Minho, Portugal
- Address
- Phone: +45 8942 5629
E-mail: jmf@daimi.au.dk
Lisa Wells (PostDoc)
- Research Areas
- Tools for CP-nets, Performance Analysis, Software Safety
- Projects
- Focus on the future, CPN Tools, HP-CPN, CAESAR, Design/CPN
- Publications
- In Petri Nets Bibliography
- Address
- Phone: +45 8942 5635
E-mail: wells@daimi.au.dk
Michael Westergaard (PhD student)
- Projects
- ASCoVeCo, IPv6: Design and Validation of Protocols, STATES, CPN Tools, CPN2000
- Address
- Phone: +45 8942 5684
E-mail: mw@daimi.au.dk
Mikkel Baun Kjærgaard (PhD student)
- Research Areas
- Software Architecture, Algorithms for location estimation, Applications using location information
- Projects
- Focus on the future
- Address
- Phone: +45 8942 5613
E-mail: mikkelbk@daimi.au.dk
Kristian Bisgaard Lassen (PhD student)
- Research Areas
- CPN+UML, workflows, software engineering
- Projects
- CPN Tools
- Duties
- Editor of the CPN group's WWW pages
- Address
- Phone: +45 8942
5635
E-mail: k.b.lassen@daimi.au.dk
Doina Bucur (PhD student)
- Projects
- Focus on the future
- Address
- Phone: +45 8942 5613
E-mail: doina@daimi.au.dk
Simon Tjell (PhD student)
- Projects
- -
- Address
- Phone: +45 8942 5629
E-mail: tjell@daimi.au.dk
Paul Fleischer (PhD student)
- Projects
- ASCoVeCo
- Address
- Phone: +45 8942 5684
E-mail: pg@daimi.au.dk
Surayya Urazimbetova (Student Programmer)
- Projects
- ASCoVeCo, CPN Tools
- Address
- Phone: +45 8942 5646
E-mail: surayya@daimi.au.dk
Former Members of the CPN Group
Niels Damgaard Hansen (1991-92)
- Research Areas
- Extensions of CP-nets
- Present Affil.
- The Faculty of Science, University of Aarhus, Aarhus, Denmark, and Alexandra Institute, Aarhus, Denmark
- Publications
- In Petri Net Bibliography
Peter Huber (1988-92)
- Research Areas
- State Spaces, Tools for CP-nets, Hierarchical Petri Nets
- Present Affil.
- Private consultant, Copenhagen, Denmark
- Publications
- In Petri Net Bibliography
Charles M. Lakos, Australia (Visiting Researcher 1993)
- Research Areas
- Object-oriented Petri Nets
- Present Affil.
- University of Adelaide, Australia
- Publications
- In Petri Net Bibliography
Norian Marranghello, Brazil (Visiting PostDoc 1997-98)
- Research Areas
- Practical Use of CP-nets, VLSI, Hardware synthesis, Simulation
- Present Affil.
- DCCE/Ibilce/Unesp, Brazil
Jan Skræp Thomasen, Hewlett-Packard (CAPLAN Project 1998)
- Present Affil.
- Hewlett-Packard
Jorge C A de Figueiredo, Brazil (Visiting PostDoc 1998-2000)
- Research Areas
- Object-oriented Petri Nets, Real-time systems, Software Engineering
- Present Affil.
- Federal University of Paraíba, Brazil
Bo Lindstrøm (PhD student 1999-2002)
- Present Affil.
- Systematic, Denmark
- Publications
- In Petri Nets Bibliography
Louise Elgaard (PhD student 1999-2002)
- Present Affil.
- Stibo Graphic Software
- Publications
- In Petri Nets Bibliography
Thomas Mailund (PhD student 1999-2003)
- Projects
- HP-CPN, STATES
- Present Affil.
- Bioinformatics Research Center, University of Aarhus
- Publications
- In Petri Nets Bibliography
- Address
- Phone: +45 8942 3132
E-mail: mailund@daimi.au.dk
Kjeld Høyer Mortensen (PostDoc 1997-2005)
- Projects
- HP-CPN, MAFIA, CPN2000, AC/DC, Design/CPN
- Publications
-
In Petri Nets Bibliography
On-line Versions of Papers - Address
- E-mail: k.h.mortensen@gmail.com
Zvi Retchkiman Konigsberg (Visiting Researcher 2003-04)
- Present Affiliation
- Centro de Investigacion en Computacion, Mexico
Wil M.P. van der Aalst (Visiting Professor 2005)
- Present Affiliation
- Eindhoven University of Technology, The Netherlands
Jonas Martin Thomsen (PhD student 2003-06)
- Address
- E-mail: jones@daimi.au.dk
Current and Former 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)
Last modified: Thu Jan 4 14:02:57 CET 2007 -- CP-nets Webmaster