Algebraische Spezifikation und Modellierung in Höheren Petri-Netzen mit zustandsabhängiger Schaltregel
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik (IAI) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 1994 |
| Sprache | Deutsch |
| Identifikator | urn:nbn:de:swb:90-AAA2000352157 KITopen-ID: 200035215 Reportnummer: KFK-5279 |
| HGF-Programm | 52.01.02 (Vor POF, LK 01) |
| Serie | KfK-Berichte ; 5279 |
| Erscheinungsvermerk | KfK-5279 (Januar 94) Dissertation, Universität Koblenz 1993 |
| Art der Arbeit | Dissertation |
| Prüfungsdaten | 01.01.1993 |