VIPtool - ein halbordnungsbasiertes Simulations- und Validationswerkzeug für Petrinetze
| 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-AAA1881971 KITopen-ID: 188197 |
| Erscheinungsvermerk | In: 4. Workshop Algorithmen und Werkzeuge für Petrinetze. Hrsg.: J. Desel. Berlin 1997. S. 6-12. (Informatik-Bericht. Humboldt-Universität zu Berlin. 85.) |