Model Analysis via a Translation Schema to Coloured Petri Nets

Januzaj, Visar; Kugele, Stefan

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}
}