We discuss conceptional and foundational aspects of Markov automata [22]. We place this
model in the context of continuous-and discrete-time Markov chains, probabilistic automata …

As modern society relies on the fault-free operation of complex computing systems, system
fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms …

This tool demonstration paper describes a new Graphical User Interface for the interactive
modeling and verification of GSPN systems with the stochastic logic CSL TA. The GUI …

Hierarchical stochastic activity networks (HSANs) are a newly introduced extension of
stochastic activity networks (SANs). HSAN models encapsulate hierarchies and a key …

This work presents several extensions to the Fault Tree [90] formalism used to build models
oriented to the Dependability [103] analysis of systems. In this way, we increment the …

Background Cancer stem cell theory suggests that cancers are derived by a population of
cells named Cancer Stem Cells (CSCs) that are involved in the growth and in the …

Discrete event simulation is broadly applied in the analysis of dynamic and concurrent
systems and often with complex and detailed models. The process of creation and coding a …

This paper describes the technical challenges around the modernization process of the
GreatSPN framework, one of the first Petri net frameworks started in the eighties, in particular …

Among the many stages of a simulation study, debugging a simulation model is the one that
is hardly reported on but that may consume a considerable amount of time and effort. In this …

Formal notations for system performance modeling need to be equipped with suitable
notations for specifying performance measures. These companion notations have been …