Reference:

Visar Januzaj and Stefan Kugele. Model analysis via a translation schema to coloured petri nets. In Daniel Moldt, editor, PNSE'09: Proceedings of the International Workshop on Petri Nets and Software Engineering, pages 273–292, June 2009.

Suggested BibTeX entry:

@inproceedings{januzaj:kugele:pnse09,
    author = {Visar Januzaj and Stefan Kugele},
    booktitle = {PNSE'09: Proceedings of the International Workshop on Petri Nets and Software Engineering},
    editor = {Daniel Moldt},
    month = {June},
    pages = {273--292},
    title = {Model Analysis via a Translation Schema to Coloured Petri Nets},
    year = {2009}
}