by Visar Januzaj, Stefan Kugele
Reference:
Model Analysis via a Translation Schema to Coloured Petri NetsVisar Januzaj, Stefan KugeleProceedings of the International Workshop on Petri Nets and Software Engineering, PNSE '09 (D. Moldt, ed.), pages 273-292, June 2009.
Bibtex Entry:
@inproceedings{januzaj:kugele:pnse09,
author = {Visar Januzaj and Stefan Kugele},
title = {Model Analysis via a Translation Schema to Coloured Petri Nets},
month = {June},
year = {2009},
address = {Paris, France},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE '09},
editor = {D. Moldt},
pages = {273-292}
}