Hartmann J. Genrich

According to our database1, Hartmann J. Genrich
  • authored at least 25 papers between 1973 and 2002.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002
Dynamical Quantities in Net Systems.
Formal Asp. Comput., 2002

2001
Executable Petri net models for the analysis of metabolic pathways.
STTT, 2001

1994
Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.
Proceedings of the Application and Theory of Petri Nets 1994, 1994

1992
Formal Verification of an Arbiter Cascade.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

1988
Equivalence transformations of PrT-nets.
Proceedings of the Advances in Petri Nets 1989, 1988

1986
Net Theory and Application (Invited Paper).
IFIP Congress, 1986

Predicate/Transition Nets.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985
Projections of C/E systems.
Proceedings of the Advances in Petri Nets 1985, 1985

1984
A Theory of Bipolar Synchronization Schemes.
Theor. Comput. Sci., 1984

Generalized Handle Grammars and Their Relation to Petri Nets.
Elektronische Informationsverarbeitung und Kybernetik, 1984

1982
Petri nets and their relation to graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

A Diagram Editor for Line Drawings with Inscriptions.
Proceedings of the Applications and Theory of Petri Nets, 1982

S-Invariance in Predicate/Transition Nets.
Proceedings of the Applications and Theory of Petri Nets, 1982

1981
System Modelling with High-Level Petri Nets.
Theor. Comput. Sci., 1981

1980
Substitution Systems - A Family of System Models Based on Concurrency.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Bipolar Synchronization Systems.
Proceedings of the Automata, 1980

1979
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets.
Proceedings of the Semantics of Concurrent Computation, 1979

A Dictionary of Some Basic Notions of Net Theory.
Proceedings of the Net Theory and Applications, 1979

Elements of General Net Theory.
Proceedings of the Net Theory and Applications, 1979

1978
Surveyor's Forum: Net Progress.
ACM Comput. Surv., 1978

Facts in Place/Transition-Nets.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1976
The Calculus of Facts.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975
Extended Simple Regular Expressions.
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

Belästigung der Menschen durch Computer.
Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1973
Synchronisationsgraphen
Acta Inf., 1973


  Loading...