The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hartmann J. Genrich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hartmann J. Genrich, Kurt Lautenbach
    System Modelling with High-Level Petri Nets. [Citation Graph (7, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:13, n:, pp:109-136 [Journal]
  2. Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
    Elements of General Net Theory. [Citation Graph (2, 0)][DBLP]
    Advanced Course: Net Theory and Applications, 1975, pp:21-163 [Conf]
  3. Hartmann J. Genrich, Kurt Lautenbach
    Facts in Place/Transition-Nets. [Citation Graph (2, 0)][DBLP]
    MFCS, 1978, pp:213-231 [Conf]
  4. Hartmann J. Genrich, Gerda Thieler-Mevissen
    The Calculus of Facts. [Citation Graph (1, 0)][DBLP]
    MFCS, 1976, pp:588-595 [Conf]
  5. Hartmann J. Genrich
    Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:207-247 [Conf]
  6. Hartmann J. Genrich, E. Stankiewicz-Wiechno
    A Dictionary of Some Basic Notions of Net Theory. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Net Theory and Applications, 1975, pp:519-531 [Conf]
  7. Hartmann J. Genrich
    Projections of C/E systems. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:224-232 [Conf]
  8. Hartmann J. Genrich
    Equivalence transformations of PrT-nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1988, pp:179-208 [Conf]
  9. Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf
    Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:278-297 [Conf]
  10. Hartmann J. Genrich, Kurt Lautenbach
    S-Invariance in Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1982, pp:98-111 [Conf]
  11. Hartmann J. Genrich, Robert M. Shapiro
    A Diagram Editor for Line Drawings with Inscriptions. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1982, pp:112-131 [Conf]
  12. Hartmann J. Genrich, Robert M. Shapiro
    Formal Verification of an Arbiter Cascade. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:205-223 [Conf]
  13. Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan
    Petri nets and their relation to graph grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1982, pp:115-129 [Conf]
  14. Hartmann J. Genrich
    Belästigung der Menschen durch Computer. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1975, pp:94-105 [Conf]
  15. Hartmann J. Genrich, P. S. Thiagarajan
    Bipolar Synchronization Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:257-272 [Conf]
  16. Hartmann J. Genrich
    Net Theory and Application (Invited Paper). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:823-832 [Conf]
  17. Hartmann J. Genrich
    Extended Simple Regular Expressions. [Citation Graph (0, 0)][DBLP]
    MFCS, 1975, pp:231-237 [Conf]
  18. Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
    Substitution Systems - A Family of System Models Based on Concurrency. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:698-723 [Conf]
  19. Hartmann J. Genrich, Kurt Lautenbach
    The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:123-147 [Conf]
  20. Hartmann J. Genrich, Kurt Lautenbach
    Synchronisationsgraphen [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1973, v:2, n:, pp:143-161 [Journal]
  21. Hartmann J. Genrich, P. S. Thiagarajan
    Surveyor's Forum: Net Progress. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1978, v:10, n:1, pp:84-85 [Journal]
  22. Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan
    Generalized Handle Grammars and Their Relation to Petri Nets. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1984, v:20, n:4, pp:179-206 [Journal]
  23. Hartmann J. Genrich
    Dynamical Quantities in Net Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:14, n:1, pp:55-89 [Journal]
  24. Hartmann J. Genrich, Robert Küffner, Klaus Voss
    Executable Petri net models for the analysis of metabolic pathways. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:4, pp:394-404 [Journal]
  25. Hartmann J. Genrich, P. S. Thiagarajan
    A Theory of Bipolar Synchronization Schemes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:30, n:, pp:241-318 [Journal]

Search in 0.069secs, Finished in 0.071secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002