KIT | KIT-Bibliothek | Impressum | Datenschutz

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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page