Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets
Heinz Wilhelm Schmidt
| Year of publication: |
1989
|
|---|---|
| Authors: | Schmidt, Heinz W. |
| Publisher: |
München [u.a.] : Oldenbourg |
| Subject: | Petri-Netz | Abstrakter Datentyp |
| Extent: | IX, 206 S. |
|---|---|
| Series: | Berichte der Gesellschaft für Mathematik und Datenverarbeitung : GMD-Bericht. - München [u.a.] : Oldenbourg, ISSN 0533-9480. - Vol. 176 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Dissertation u.a. Prüfungsschriften |
| Language: | English |
| Thesis: | Zugl.: Bremen, Univ., Diss., 1988 |
| ISBN: | 3-486-21292-3 |
| Source: |
Persistent link: https://www.econbiz.de/10004064028