Philipp Hoffmann

Learn 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)
c Philipp Hoffmann This work is licensed under the Creative Commons Attribution License. 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(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)
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)
  • 1