KIT | KIT-Bibliothek | Impressum | Datenschutz

System simulation with Petri nets: a new concept combining procedural and declarative system knowledge

Oberweis, Andreas


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buch
Publikationsjahr 1991
Sprache Englisch
Identifikator KITopen-ID: 151891
Verlag Universität Karlsruhe (TH)
Serie Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 213
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page