Deklarative Systembeschreibungen als Grundlage fuer die Simulation mit Petri- Netzen
Oberweis, Andreas
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1990 |
| Sprache | Deutsch |
| Identifikator | ISBN: 3-528-06401-3 KITopen-ID: 177090 |
| Erschienen in | Proceedings. Simulationstechnik. 6. Symposium, Wien. Hrsg.: F. Breitenecker |
| Verlag | Vieweg Verlag |
| Serie | Fortschritte in der Simulationstechnik ; 1 |