Filters








5 Hits in 4.7 sec

Page 5201 of Mathematical Reviews Vol. , Issue 81M [page]

1981 Mathematical Reviews  
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  
{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  
(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]

Baltasar Trancón Y Widemann, Technische Universität Berlin, Technische Universität Berlin, Peter Pepper
2008
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  
(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.  ...