CONTROLLABLE DEADLOCKS IN PARALLEL RESOURCE-CONSTRAINED WORKFLOWS

Controllable Deadlocks in Parallel Resource-Constrained Workflows

We study the verification of the soundness property for Fridge Door Reed Switch workflow nets extended with resources.A workflow is sound if it terminates properly (no deadlocks and livelocks are possible).A class of resource-constrained workflow nets (RCWF-nets) is considered, where resources can be used by a process instance, but cannot Aromather

read more


Oxymetholone-Induced Acute Renal Failure: A Case Report

Background: The prevalence of using anabolic steroids such as oxymetholone is increasing.This highlights the need for closely monitoring side effects of this drug.Acute renal failure (ARF) has been reported as a complication of rhabdomyolysis in anabolic steroids users.Case presentation: We present one 33-year-old Clean Up man complaining of decrea

read more