Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1996 |
Sprache | Deutsch |
Identifikator | KITopen-ID: 276396 |
Erscheinungsvermerk | In: 3. Workshop Algorithmen und Werkzeuge für Petrinetze, Karlsruhe 1996. Hrsg.: J. Desel. Karlsruhe 1996. S. 27-32. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 341.) |