Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. - Louise Lorentsen; Lars Michael Kristensen (ICATPN, 2000)

Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. - Louise Lorentsen; Lars Michael Kristensen (ACSD, 2001)

Modelling Feature Interactions in Mobile Phones. - Louise Lorentsen; Antti-Pekka Tuovinen; Jianli Xu (FICS, 2001)

Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. - Louise Lorentsen; Antti-Pekka Tuovinen; Jianli Xu (ICATPN, 2002)

Experiences in Modelling Feature Interactions with Coloured Petri Nets. - Louise Lorentsen; Antti-Pekka Tuovinen; Jianli Xu (Acta Cybern., 2002)