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 |