Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2001Zukunftsfähige Informationsgesellschaft und Gender
Dippoldsmann, P.; Genrich, H.
Study
1998Verification and performance analysis of recipe-based controllers by means of dynamic plant models
Brettschneider, H.; Genrich, H.J.; Hanisch, H.-M.
Conference Paper
1997Asynchronous circuit design with high-level Petri nets
Genrich, H.J.
Conference Paper
1997Quantities of Petri systems
Genrich, H.J.
Conference Paper
1994Verification of recipe based control procedures by means of predicate/transition nets
Genrich, H.J.; Hanisch, H.-M.; Wöllhaf, K.
Conference Paper
1992Formal verification of an arbiter cascade
Genrich, H.J.; Shapiro, R.M.
Conference Paper
1990Equivalence transformations of PrT-Nets
Genrich, H.J.
Conference Paper
1990First-order net systems
Genrich, H.J.; Thiagarajan, P.S.; Voss, K.
Report
1988Equivalence transformations of predicate transition nets
Genrich, H.J.
Conference Paper
1988Equivalence transformations of PrT-nets
Genrich, H.J.
Report
1988Generic office frame of reference (GOFOR)
Richter, G.; Humpreys, P.; Genrich, H.; Berkeley, D.; Voss, K.; Domke, M.; Griebler, H.; Wisudha, A.
Book Article
1988Petri Nets in practice: Users report about their experience
Genrich, H.J.; Reisig, W.; Voss, K.
Journal Article
1987Predicate/transition nets
Genrich, H.J.
Conference Paper
1986Projections of CE-systems
Genrich, H.J.
Conference Paper
1985Informationsfluss und Recht
Domke, M.; Genrich, H.; Griebler, H.; Linz, R.; Smith, E.
Report
1983Datenschutz als Kriterium für angepasste Informationstechnik
Dippoldsmann, P.; Genrich, H.; Poetsch, J.
Conference Paper
1983The development of knowledge as a process of collective learning and action
Genrich, H.
Conference Paper
1982Die gesellschaftliche Bedeutung der theoretischen Informatik
Genrich, H.
Book Article
1980A dictionary of some basic notions of net theory
Genrich, H.J.; Stankiewicz-Wiechno, E.
Conference Paper
1980Elements of general net theory
Genrich, H.J.; Lautenbach, K.; Thiagarajan, P.S.
Conference Paper
1975Belästigung der Menschen durch Computer
Genrich, H.J.
Conference Paper
1971Einfache nicht-sequentielle Prozesse
Genrich, H.J.
Report