The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 5201 of Mathematical Reviews Vol. , Issue 81M
[page]
1981
Mathematical Reviews
Preserved Fulltext
Schwichtenberg, Formaie Beschrei- bungsmittel fiir offene Kommunikationssysteme im Rahmen von Normungsvorhaben (pp. 202-219). -
Netztheorie: Wolfgang Reisig, Zur Verwendung von Petrinetz-Morphismen bei ...
Krichel, Uberlegungen zur Konstruktion von Dispositions- Strategien in Rechnerverbundnetzen zum Zwecke der Leistungs- optimierung (pp. 491-502); W. Hoffmann and W. ...
Page 4457 of Mathematical Reviews Vol. , Issue 82j
[page]
1982
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
{NSC stands for “ not-self-controlling”. }
{For the entire collection see MR 81m:83045.}
82j:68038
Reisig, Wolfgang 82j:68039 Zur Verwendung von Petrinetz-Morphismen bei der System Konstruktion. ...
System Sci. 23 (1981), no. 3, 348-354. ...
Page 749 of Mathematical Reviews Vol. 14, Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(See 82f:68005) Reisig, Wolfgang Zur Verwendung von Petrinetz-Morphismen bei der System Konstruktion. 82):68039 On solving conflicts in Petri nets. ...
English summary) 82c:68034
Streppel, Dieter %*Entwurf von Schaltnetzen und asynchronen Schaltwerken mit Hilfe der Partitionentheorie. ...
Strikte Verfahren zyklischer Berechnung
[article]
2008
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Der bisher erfolgreichste coalgebraische Ansatz führte zur Entwicklung der Sprache Charity, die sowohl in denotationeller als auch operationaler Semantik auf kategorientheoretische Konstrukte zurückgreift ...
Dieser Algorithmus terminiert auch bei strikter Auswertung auf allen endlichen Eingabezuständen, also insbesondere auf konkreten Graphdarstellungen von Daten im Speicher. ...
; bei der Verwendung von herkömmlichen Konstruktoren zur
Wissenschaftliche Agenda Diese Arbeit soll einen Beitrag zu Theorie und Praxis der zyklischen Berechnung liefern, indem folgende einzelnen Ziele ...
doi:10.14279/depositonce-1771
fatcat:dieqald3wbhppfgpzlz5bmbcmi
Page 677 of Mathematical Reviews Vol. 14, Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(See 82k:68003) 68B10
Zur Verwendung von Petrinetz-Morphismen bei der System Konstruktion. ...
Levy) 82k:15013 15A33
Reinert, Dietmar % Priiftheorie diskreter ‘Systeme. (German) [Fault testing of discrete systems] K: ung. ...