RatzerWLLQSWCJ03'

BibTeX

@inproceedings{DBLP:conf/apn/RatzerWLLQSWCJ03,
  author    = {Anne V. Ratzer and
               Lisa Wells and
               Henry Michael Lassen and
               Mads Laursen and
               Jacob Frank Qvortrup and
               Martin Stig Stissing and
               Michael Westergaard and
               S{\o}ren Christensen and
               Kurt Jensen},
  title     = {CPN Tools for Editing, Simulating, and Analysing Coloured
               Petri Nets},
  booktitle = {ICATPN},
  year      = {2003},
  pages     = {450-462},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2679/26790450.htm},
  crossref  = {DBLP:conf/apn/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/apn/2003,
  editor    = {Wil M. P. van der Aalst and
               Eike Best},
  title     = {Applications and Theory of Petri Nets 2003, 24th International
               Conference, ICATPN 2003, Eindhoven, The Netherlands, June
               23-27, 2003, Proceedings},
  booktitle = {ICATPN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2679},
  year      = {2003},
  isbn      = {3-540-40334-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}