Hartmann J. Genrich

According to our database, Hartmann J. Genrich authored at least 25 papers between 1973 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Dynamical Quantities in Net Systems.

Hartmann J. Genrich

Formal Asp. Comput., 2002

2001

Executable Petri net models for the analysis of metabolic pathways.

Hartmann J. Genrich, Robert Küffner, Klaus Voss

STTT, 2001

1994

Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.

Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1992

Formal Verification of an Arbiter Cascade.

Hartmann J. Genrich, Robert M. Shapiro

Proceedings of the Application and Theory of Petri Nets 1992, 1992

1988

Equivalence transformations of PrT-nets.

Hartmann J. Genrich

Proceedings of the Advances in Petri Nets 1989, 1988

1986

Net Theory and Application (Invited Paper).

Hartmann J. Genrich

IFIP Congress, 1986

Predicate/Transition Nets.

Hartmann J. Genrich

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

Projections of C/E systems.

Hartmann J. Genrich

Proceedings of the Advances in Petri Nets 1985, 1985

1984

A Theory of Bipolar Synchronization Schemes.

Hartmann J. Genrich, P. S. Thiagarajan

Theor. Comput. Sci., 1984

Generalized Handle Grammars and Their Relation to Petri Nets.

Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan

Elektronische Informationsverarbeitung und Kybernetik, 1984

1982

Petri nets and their relation to graph grammars.

Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

A Diagram Editor for Line Drawings with Inscriptions.

Hartmann J. Genrich, Robert M. Shapiro

Proceedings of the Applications and Theory of Petri Nets, 1982

S-Invariance in Predicate/Transition Nets.

Hartmann J. Genrich, Kurt Lautenbach

Proceedings of the Applications and Theory of Petri Nets, 1982

1981

System Modelling with High-Level Petri Nets.

Hartmann J. Genrich, Kurt Lautenbach

Theor. Comput. Sci., 1981

1980

Substitution Systems - A Family of System Models Based on Concurrency.

Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Bipolar Synchronization Systems.

Hartmann J. Genrich, P. S. Thiagarajan

Proceedings of the Automata, 1980

1979

The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets.

Hartmann J. Genrich, Kurt Lautenbach

Proceedings of the Semantics of Concurrent Computation, 1979

A Dictionary of Some Basic Notions of Net Theory.

Hartmann J. Genrich, E. Stankiewicz-Wiechno

Proceedings of the Net Theory and Applications, 1979

Elements of General Net Theory.

Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan

Proceedings of the Net Theory and Applications, 1979

1978

Surveyor's Forum: Net Progress.

Hartmann J. Genrich, P. S. Thiagarajan

ACM Comput. Surv., 1978

Facts in Place/Transition-Nets.

Hartmann J. Genrich, Kurt Lautenbach

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1976

The Calculus of Facts.

Hartmann J. Genrich, Gerda Thieler-Mevissen

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

Extended Simple Regular Expressions.

Hartmann J. Genrich

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

Belästigung der Menschen durch Computer.

Hartmann J. Genrich

Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1973

Synchronisationsgraphen

Hartmann J. Genrich, Kurt Lautenbach

Acta Inf., 1973