H
Hagen Völzer
Researcher at University of Lübeck
Publications - 26
Citations - 395
Hagen Völzer is an academic researcher from University of Lübeck. The author has contributed to research in topics: Probabilistic logic & Petri net. The author has an hindex of 11, co-authored 26 publications receiving 392 citations. Previous affiliations of Hagen Völzer include University of Queensland & IBM.
Papers
More filters
Journal ArticleDOI
Probabilistic event structures and domains
TL;DR: A key result of this paper is a representation theorem showing how continuous valuations on the domain of a confusion-free event structure correspond to the probabilistic event structures it supports.
Journal Article
Probabilistic event structures and domains
TL;DR: A key result of this paper is a representation theorem showing how continuous valuations on the domain of a confusion-free event structure correspond to the probabilistic event structures it supports.
Journal ArticleDOI
Petri net based verification of distributed algorithms: An example
TL;DR: This technique (based on Petri nets) reduces the modelling and analysis effort to a reasonable level and is outlined using the example of a typical network algorithm, theecho algorithm.
Book ChapterDOI
Flexibility in Algebraic Nets
Ekkart Kindler,Hagen Völzer +1 more
TL;DR: This paper equips algebraic Petri nets with flexible arcs and calls the resulting extension algebraic system nets, which it is demonstrated are better suited for modelling distributed algorithms.
Book ChapterDOI
Randomized Non-sequential Processes
Hagen Völzer,Hagen Völzer +1 more
TL;DR: A non-sequential, i.e. "true concurrency", semantics for randomized distributed algorithms is suggested, based on Petri nets and their branching processes, showing that each probabilistic branching process defines a unique canonical probability space.