Aarhus Universitets logo
Find
English
For students
For PhDs
For employees
Local study portal
Computer Science
IT Product Development
Local PhD portal
Application Guide
Computer Science
Pages for all PhD students
phd.au.dk
Local staff information
Department of Computer Science
Pages for staff members at AU
medarbejdere.au.dk/en/
Institut for
Datalogi
Om Institut for Datalogi
Strategy
Organisation
Honorary doctor and professors
Ledige stillinger
Code of Conduct - adfærdskodeks
Forskningsområder
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction research group
Computational Complexity and Game Theory
Data-Intensive Systems
Cryptography and Security
Logic and Semantics
Programming Languages
Ubiquitous Computing and Interaction
Bioinformatics
Use, Design and Innovation
Modellering og Validering af Distribuerede Systemer
Centers
Publikationer
PhD Studies
Uddannelse
Studievalg
Bacheloruddannelser
Kandidatuddannelser
PhD
Efter- og Videreuddannelse
Studiemiljø
ALICE
CS Alumni
Mød vores kandidater
Dimission på Institut for Datalogi
ChomskyLab
Collaboration
Research Collaboration
Student Collaboration
CS Business Club
Business Committee
News & Events
Nyheder
Arrangementer
CS Colloquium
Camps og konkurrencer
Kontakt
Ledelse
Medarbejdere
Til pressen
Gymnasiesamarbejde
Du er her:
Institut for Datalogi
CPnets
Publications
PhD Dissertations
Introduction
Computer Tools
Books
Key Papers
Publications
Petri Nets Bibliography
PhD Dissertations
Workshops
Industrial Use
Projects
People
Petri Nets World
PhD Dissertations
PhD Dissertations from the CPN Group
Kurt Jensen
Net Models in System Development (1980)
Søren Christensen
Coloured Petri Nets: Theory, Tools and Practice (June 1992)
Dissertation: No. 112 in DAIMI IR series
Jens Bæk Jørgensen
Analysing Coloured Petri Nets by the Occurrence Graph Method (February 1997)
Overview paper:
No. 517 in DAIMI PB series
Kjeld H. Mortensen
Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems
(March 1997)
Lars M. Kristensen
State Space Methods for Coloured Petri Nets (January 2000)
Dissertation:
No. 546 in DAIMI PB series
Lisa Wells
Performance Analysis using Coloured Petri Nets
(August 2002)
Bo Lindstrøm
Facilitating the Practical Use of Coloured Petri Nets
(August 2002)
Louise Elgaard
The Symmetry Method for Coloured Petri Nets - Theory, Tools, and Practical Use
(August 2002)
Thomas Mailund Jensen
Sweeping the State Space -- A Sweep-Line State Space Exploration Method
(January 2003)
Revideret 17.04.2023
-
Marianne Dammand Iversen