Hartmann J. Genrich
According to our database1, Hartmann J. Genrich
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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