Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2006 |
Sprache | Deutsch |
Identifikator | KITopen-ID: 1000017393 |
Erschienen in | Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze, AWPN'06. Hrsg.: D. Moldt |
Verlag | Universität Hamburg |
Seiten | 17 - 24 |
Serie | Informatik-Berichte ; 85 |