@book {IOPORT.01540512,
    author       = {Kristensen, Lars Michael},
    title        = {State space methods for coloured Petri nets.},
    year         = {2000},
    pages        = {xiv, 191~p.},
    publisher    = {Aarhus: Univ. of Aarhus, Faculty of Science},
    abstract     = {Summary: We study state space methods in the framework of coloured Petri nets which is a graphical language for modeling and analysis of concurrent and distributed systems. The thesis consists of two parts. Part I is the mandatory overview paper which summarizes the work which has been done. Part II is composed of five individual papers and constitutes the core of this thesis. Four of the these papers have been published elsewhere as conference papers, journal papers, or book chapters. The fifth paper is submitted to an international conference.},
    identifier   = {01540512},
}