Bibliography

DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets

Daniel Moldt and Jan Ortmann.
DaGen: A tool for automatic translation from DAML-S to high-level Petri nets.
In Michel Wermelinger and Tiziana Margaria-Steffen, editors, Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings, volume 2984 of Lecture Notes in Computer Science, pages 209-213, Berlin, Heidelberg, New York, 2004. Springer-Verlag.  [link]

BibTeX

@INPROCEEDINGS{Moldt+04a,
  AUTHOR    = {Moldt, Daniel and Ortmann, Jan},
  TITLE     = {{DaGen}: A Tool for Automatic Translation from {DAML-S} to High-Level {Petri} Nets},
  BOOKTITLE = {Fundamental Approaches to Software Engineering:
               7th International Conference, {FASE}  2004.
               Held as Part of the Joint European Conferences on
               Theory and Practice of Software, ETAPS 2004,
               Barcelona, Spain, March 29 - April 2, 2004. Proceedings},
  EDITOR    = {Wermelinger, Michel and Margaria-Steffen, Tiziana},
  PUBLISHER = Springer,
  ADDRESS   = Springer.addr,
  SERIES    = LNCS,
  url       = {http://dx.doi.org/10.1007/978-3-540-24721-0_15},
  xdoi       = {10.1007/978-3-540-24721-0_15},
  VOLUME    = {2984},
  PAGES     = {209--213},
  YEAR      = 2004
}