| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1997 |
| Sprache | Deutsch |
| Identifikator | urn:nbn:de:swb:90-AAA177977 KITopen-ID: 17797 |
| Erschienen in | Petri-Netze zur Modellierung verteilter DV-Systeme. Hrsg.: W. Stucky |
| Verlag | AIFB |
| Seiten | 6 - 14 |
| Serie | Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 350 |