GreatSPN is a tool that supports the design and the qualitative and quantitative analysis of
Generalized Stochastic Petri Nets (GSPN) and of Stochastic Well-Formed Nets (SWN). The …

In this paper we study the use of Sequence Diagrams and Statecharts of the Unified
Modeling Language (UML) for the validation and the performance evaluation of systems. We …

During the last two decades, a major challenge for the researchers working on modeling
and evaluation of computer-based systems has been the assessment of system Non …

This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003,
held in Eichstdtt, Germany in September 2003. In addition to lectures given at ACPN 2003 …

The paper presents a method to compute performance metrics (response time, sojourn time,
throughput) on Unified Modeling Language design. The method starts with UML design …

Composition is a key issue in Petri net modelling. It is a topic that has been studied for a long
time, and that finds practical application in many Petri net frameworks and tools. Multiple …

An overview of the techniques traditionally used in dependability analysis that are compliant
with current industrial standards (ie, the International Electrotechnical Commission …

Abstract Analysis and simulation of complex systems is an hard task that requires the use of
proper modeling formalisms and tools. In many cases, no single analysis and modeling …

This paper presents a decision support system to be used in hospital management tasks
which is based on the clinical pathways. We propose a very simple graphical modeling …

Clinical guidelines (GLs) play an important role to standardize and organize clinical
processes according to evidence-based medicine. Several computer-based GL …