@InProceedings{Gehrke:1999:EKA,
  author =       "Thomas Gehrke and Ursula Goltz and Heike Wehrheim",
  title =        "Zur semantischen Analyse der dynamischen Modelle von
                  {UML} mit Petri-Netzen",
  booktitle =    "Proceedings of The 6th Symposium on Development and
                  Operation of Complex Automation Systems",
  editor =       "E. Schnieder",
  year =         "1999",
}