For the most recent entries see the
Petri Nets Newsletter.
Genrich, H.J.
-
Genrich, Hartmann J.:
Dynamical Quantities in Net Systems.
2002.
-
Genrich, H.J.;
Küffner, R.;
Voss, K.:
Executable Petri Net Models for the Analysis of Metabolic Pathways.
2000.
-
Genrich, Hartmann J.:
Experimental Symbolic Analysis of Net Systems.
1998.
-
Genrich, Hartmann J.;
Shapiro, Robert M.:
Asynchronous Circuit Design with High-level Petri Nets.
1997.
-
Genrich, H.J.;
Hanisch, H.-M.;
Woellhaf, K.:
Verification of Recipe-Based control Procedures of Means of Predicate/Transition Nets.
1994.
-
Genrich, Hartmann J.;
Shapiro, Robert M.:
Formal Verification of an Arbiter Cascade.
1992.
-
Genrich, Hartmann J.:
Equivalence Transformation of PrT-Nets.
1990.
-
Genrich, Hartmann J.;
Thiagarajan, Pazhamaneri S.;
Voss, Klaus:
First-Order Net Systems.
1990.
-
Genrich, H.J.:
Equivalence Transformations of PrT-nets.
1988.
-
Genrich, H.J.:
Net Models of Dynamically Evolving Data Structures.
1987.
-
Genrich, H.J.:
Predicate/Transition Nets.
1987.
-
Voss, K.;
Genrich, H.J.;
Rozenberg, G.:
Concurrency and Nets.
1987.
-
Genrich, H.J.:
A Simple Formalism for the Accomplishment of Tasks. An Exercise in Formal Pragmatics.
1986.
-
Genrich, H.J.:
Net Theory and Application.
1986.
-
Genrich, H.J.:
Projections of C/E Systems.
1986.
-
Genrich, H.J.;
Janssens, D.;
Rozenberg, G.;
Thiagarajan, P.S.:
Petri Nets and Their Relation to Graph Grammars.
1983.
-
Genrich, H.J.;
Lautenbach, K.:
S-Invariance in Predicate/Transition Nets.
1983.
-
Genrich, H.J.;
Shapiro, R.M.:
A Diagram Editor for Line Drawings with Inscriptions.
1983.
-
Genrich, H.J.;
Thiagarajan, P.S.:
A Theory of Bipolar Synchronization Schemes.
1983.
-
Genrich, H.J.;
Janssens, D.;
Rozenberg, G.;
Thiagarajan, P.S.:
Generalized Handle Grammars and Their Relation to Petri Nets.
1982.
-
Genrich, H.J.;
Thiagarajan, P.S.:
Well-Formed Flow Charts for Concurrent Programming.
1982.
-
Genrich, H.J.;
Lautenbach, K.:
System Modelling with High-Level Petri Nets.
1981.
-
Genrich, H.J.;
Lautenbach, K.;
Thiagarajan, P.S.:
Elements of General Net Theory.
1980.
-
Genrich, H.J.;
Lautenbach, K.;
Thiagarajan, P.S.:
Substitution Systems - A Family of System Models Based on Concurrency.
1980.
-
Genrich, H.J.;
Stankiewicz-Wiechno, E.:
A Dictionary of Some Basic Notions of Net Theory.
1980.
-
Genrich, H.J.:
Ein Kalkül des Planens und Handelns.
1979.
-
Genrich, H.J.;
Lautenbach, K.:
The Analysis of Distributed Systems by Means of Predicate/ Transition-Nets.
1979.
-
Genrich, H.J.;
Lautenbach, K.:
Facts in Place/Transition-Nets.
1978.
-
Genrich, H.J.:
The Petri Net Representation of Mathematical Knowledge.
1976.
-
Genrich, H.J.;
Thieler-Mevissen, G.:
The Calculus of Facts.
1976.
-
Thiagarajan, P.S.;
Genrich, H.J.:
Assignment Systems: A Model for Asynchronous Computations.
1976.
-
Genrich, H.J.:
Extended Simple Regular Expressions.
1975.
-
Genrich, H.J.:
Ein systemtheoretischer Beitrag zur Handlungslogik.
1975.
-
Genrich, H.J.;
Richter, G.:
DIN 66200 - ein Anfang in der Betriebssystemnormung.
1974.
-
Genrich, H.J.;
Lautenbach, K.:
Synchronisationsgraphen.
1973.
-
Genrich, H.J.:
Formale Eigenschaften des Entscheidens und Handelns.
1973.
-
Genrich, H.J.:
Einfache nicht-sequentielle Prozesse.
1971.
-
Genrich, H.J.:
Das Zollstationenproblem.
1969.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography