Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
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
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
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