Universitaet Koblenz-Landau AG-VS
  Publications of the RG Distributed Systems

Publications of the RG Distributed Systems

This page contains the publications of our research group ordered by research area and date, starting with the most recent ones.

Books

    L. Priese, H. Wimmel
    Theoretische Informatik Petri-Netze
    Springer-Verlag, Berlin Heidelberg, ISBN 3-540-44289-8
    376 Seiten mit 111 Abb.

    K. Erk, L. Priese
    Theoretische Informatik, Lehrbuch,
    2. Auflage, Springer Verlag, 2002, 467 Seiten mit 115 Abb.

    K. Erk, L. Priese
    Theoretische Informatik, Lehrbuch,
    Springer Verlag, 2000, 433 Seiten mit 98 Abb.

Semantics of Petri Nets

    L. Priese, H. Wimmel. A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets. In: Theoretical Computer Science 206, pp.219-256, 1998. (Abstract)

    H. Wimmel, L. Priese. Algebraic Characterization of Petri Net Pomset Semantics. In: LNCS 1243, Proceedings CONCUR'97, pp.406-420, 1997. (Abstract)

    H. Wimmel, L. Priese. An Application of Compositional Petri Net Semantics. Research Report 14-96, University of Koblenz, Germany, 1996. (Abstract, Report)

    L. Priese, H. Wimmel. On Some Compositional Petri Net Semantics. Research Report 20-95, University of Koblenz, 1995. (Abstract, Report)

    L. Priese. A Class of Fully Abstract Semantics for Petri-Nets. Research Report 3-95, University of Koblenz, 1995. (Abstract, Report)

    M. Nielsen, L. Priese, V. Sassone. Characterizing Behavioural Congruences for Petri Nets. In: LNCS 962, Proceedings CONCUR'95: Concurrency Theory, eds. I. Lee, S.A. Smolka, pp.175-189, 1995. (Abstract)

Molecular Algorithms - Splicing Systems

    L. Priese. On Reversible Grammars and Distributed Splicing Systems. In: Grammatical Models of Multi-Agent Systems, Eds. G.Paun and A.Salomaa, Gordon and Breach Science Publishers, pp.334-342, 1999.

    L. Priese, Y. Rogojine, M. Margenstern
    Finite H-Systems with 3 Test Tubes are not Predictable.
    In Proceedings Pacific Symposium on Biocomputing, 3,
    Kapalua, Maui, January 1998, Hawaii, U.S.A.,
    R.Altman, A.Dunker, L.Hunter, T.Klein (Eds.),
    World Sci. Publ., Singapure, 1998, pp. 547-558
    (Abstract, Report)

    L. Priese. A Note on Nondeterministic Reversible Computations. Research Report 26-97, University of Koblenz, Germany, 1997. (Abstract, Report)

Distributed Systems in Image Recognition




Editor: Harro_Wimmel
Last change: 13.11.97