We study Colored Workflow nets , a model based on Work-flow nets  enriched with data. Based on earlier work by Esparza and Desel on the negotiation model of concurrency [3,4], we present reduction rules for our model. Contrary to previous work, our rules preserve not only soundness, but also the data flow semantics. For free choice nets, the rules… (More)
We present our GPU-based implementations of three well-known algorithms for solving parity games. Our implementations are in general faster by a factor of at least two than the corresponding implementations found in the widely known PGSolver collection of solvers. For benchmarking we use several of PGSolver's benchmarks as well as arenas obtained by means… (More)
We study Probabilistic Workflow Nets (PWNs), a model extending van der Aalst's workflow nets with probabilities. We give a semantics for PWNs in terms of Markov Decision Processes and introduce a reward model. Using a result by Varacca and Nielsen, we show that the expected reward of a complete execution of the PWN is independent of the scheduler. Extending… (More)
This paper introduces negotiations, a model of concurrency close to Petri nets, with multi-party negotiations as concurrency primitive. We study two fundamental analysis problems. The soundness problem consists of deciding if it is always possible for a negotiation to terminate successfully, whatever the current state is. Given a sound negotiation, the… (More)
Negotiations, a model of concurrency with multi party negotiation as primitive, have been recently introduced in [5,6]. We initiate the study of games for this model. We study coalition problems: can a given coalition of agents force that a negotiation terminates (resp. block the negotiation so that it goes on forever)?; can the coalition force a given… (More)
I assure the single handed composition of this bachelor's thesis only supported by declared resources. offene Probleme und Verbesserungen.
The elimination half-life and consequently the accumulation of enoxaparin increase as glomerular filtration rate (GFR) decreases. A dose adjustment for patients with a GFR <30 ml/min is recommended and considered relatively safe. Our intention was to identify whether the use of enoxaparin is safe and to determine what impact an enoxaparin dose adjustment… (More)
Oestrogens, such as oestrone (E(1)), 17β-oestradiol (E(2)), oestriol (E(3)) and their biologically active metabolites 2-methoxyoestrone (2-MeOE(1)), 2-hydroxyoestradiol (2-OHE(2)) 16-ketooestradiol (16-OE(2)), 16-epioestriol (16-epiE(3)), as well as testosterone (T) play an important role in physiological and pathological developmental processes during… (More)