Abstract System safety, reliability and risk analysis are important tasks that are performed
throughout the system life-cycle to ensure the dependability of safety-critical systems …

Abstract Fault Tree Analysis (FTA) is a well-established and well-understood technique,
widely used for dependability evaluation of a wide range of systems. Although many …

Starts with a brief review of the history and the application areas considered in the literature.
The author then proceeds with introductory modeling examples, behavioral and structural …

Performance and Reliability Analysis of Computer Systems: An Example-Based Approach
Using the SHARPE Software Package provides a variety of probabilistic, discrete-state …

Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

Petri nets in which random firing delays are associated with transitions whose firing is an
atomic operation are known under the name “stochastic Petri nets”. These models are …

Patient flow is the movement of patients through a healthcare facility. Over the past decades,
healthcare service providers have spent tremendous effort in optimizing patient flow and …

The development of techniques for quantitative, model-based evaluation of computer system
dependability has a long and rich history. A wide array of model-based evaluation …

Any developer of discrete event systems knows that the most important quality of the final
system is that it be functionally correct by exhibiting certain functional, or qualitative …

The motivation behind the conception of this monograph was to advance scientific
knowledge about the design and control of workflow processes. A workflow pr-ess (or …