Signatur | NL 237/582 |
---|---|
Gegenstand | Publikation Druck |
Verfasser |
Valk, Rüdiger
|
Titel | Relating different semantic for objects Petri Nets. Formal proofs and examples |
Beilage | Mit Begleitbr. an Carl Adam Petri, 22.03.2002 (1 Bl. ms.) |
Bemerkung | Die im Br. angesprochene Dissertation von Olaf Kummer fehlt |
Laufzeit | 22.03.2002 |
Umfang | 50 S. gedr. |
Formalangaben | Sprachen: Englisch |
Rechtehinweis | CC BY-SA 4.0 |