The specification of complex object behaviour by high level Petri nets
Oberweis, Andreas
; Sander, Peter
; Sander, Peter| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buch |
| Publikationsjahr | 1992 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 61592 |
| Verlag | Universität Karlsruhe (TH) |
| Umfang | 46 Bl. |
| Serie | Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 254 |