|
|
Publikationen der AG Verteilte Systeme
Auf dieser Seite finden Sie die Publikationen der AG Verteilte Systeme, geordnet nach Forschungsschwerpunkten, die neuesten Paper jeweils am Anfang.
Semantik von Petri-Netzen
-
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)
Molekulare Algorithmen - Splicing Systeme
-
L. Priese.
On Reversible Grammars and Distributed Splicing Systems.
In: Grammatical Models of Multi-Agent Systems,
Eds. G.Paun und 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: Pacific Symposium on Biocomputing 3, pp.545-556, 1998. (Abstract, Report)
L. Priese. A Note on Nondeterministic Reversible Computations. Research Report 26-97, University of Koblenz, Germany, 1997. (Abstract, Report)
Verteilte Systeme in der Bilderkennung
Editor: Harro_Wimmel
Letzte Änderung: 13.11.97