Hartmann J. Genrich

Publication Activity (10 Years)

Years Active: 1973-2002
Publications (10 Years): 0

Publications

Hartmann J. Genrich
Dynamical Quantities in Net Systems. Formal Aspects Comput. 14 (1) (2002)
Hartmann J. Genrich, Robert Küffner, Klaus Voss
Executable Petri net models for the analysis of metabolic pathways. Int. J. Softw. Tools Technol. Transf. 3 (4) (2001)
Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf
Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets. Application and Theory of Petri Nets (1994)
Hartmann J. Genrich, Robert M. Shapiro
Formal Verification of an Arbiter Cascade. Application and Theory of Petri Nets (1992)
Hartmann J. Genrich
Equivalence transformations of PrT-nets. European Workshop on Applications and Theory in Petri Nets (1988)
Hartmann J. Genrich
Predicate/Transition Nets. Advances in Petri Nets (1986)
Hartmann J. Genrich
Net Theory and Application (Invited Paper). IFIP Congress (1986)
Hartmann J. Genrich
Projections of C/E systems. Applications and Theory in Petri Nets (1985)
Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan
Generalized Handle Grammars and Their Relation to Petri Nets. J. Inf. Process. Cybern. 20 (4) (1984)
Hartmann J. Genrich, P. S. Thiagarajan
A Theory of Bipolar Synchronization Schemes. Theor. Comput. Sci. 30 (1984)
Hartmann J. Genrich, Robert M. Shapiro
A Diagram Editor for Line Drawings with Inscriptions. European Workshop on Applications and Theory of Petri Nets (1982)
Hartmann J. Genrich, Kurt Lautenbach
S-Invariance in Predicate/Transition Nets. European Workshop on Applications and Theory of Petri Nets (1982)
Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan
Petri nets and their relation to graph grammars. Graph-Grammars and Their Application to Computer Science (1982)
Hartmann J. Genrich, P. S. Thiagarajan
Well-Formed Flow Charts for Concurrent Programming. Formal Description of Programming Concepts (1982)
Hartmann J. Genrich, Kurt Lautenbach
System Modelling with High-Level Petri Nets. Theor. Comput. Sci. 13 (1981)
Hartmann J. Genrich, P. S. Thiagarajan
Bipolar Synchronization Systems. ICALP (1980)
Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
Substitution Systems - A Family of System Models Based on Concurrency. MFCS (1980)
Hartmann J. Genrich, Kurt Lautenbach
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. Semantics of Concurrent Computation (1979)
Hartmann J. Genrich, E. Stankiewicz-Wiechno
A Dictionary of Some Basic Notions of Net Theory. Advanced Course: Net Theory and Applications (1979)
Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
Elements of General Net Theory. Advanced Course: Net Theory and Applications (1979)
Hartmann J. Genrich, P. S. Thiagarajan
Surveyor's Forum: Net Progress. ACM Comput. Surv. 10 (1) (1978)
Hartmann J. Genrich, Kurt Lautenbach
Facts in Place/Transition-Nets. MFCS (1978)
Hartmann J. Genrich, Gerda Thieler-Mevissen
The Calculus of Facts. MFCS (1976)
Hartmann J. Genrich
Extended Simple Regular Expressions. MFCS (1975)
Hartmann J. Genrich
Belästigung der Menschen durch Computer. GI Jahrestagung (1975)
Hartmann J. Genrich, Kurt Lautenbach
Synchronisationsgraphen Acta Informatica 2 (1973)