CPNunf: A tool for McMillan's Unfolding of Coloured Petri Nets (bibtex)
by Visar Januzaj
Reference:
CPNunf: A tool for McMillan's Unfolding of Coloured Petri NetsVisar JanuzajEighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (Kurt Jensen, ed.), October 2007.
Bibtex Entry:
@inproceedings{januzaj:cpn07,
  author = {Visar Januzaj},
  title = {CPNunf: A tool for McMillan's Unfolding of Coloured Petri Nets},
  month = {October},
  year = {2007},
  address = {Aarhus, Denmark},
  booktitle = {Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools},
  editor = {Kurt Jensen},
  howpublished = {DAIMI PB - 584},
  issn = {0105-8517}
}
Powered by bibtexbrowser