Companies need to efficiently manage their business processes to deliver products and
services in time. Therefore, they monitor the progress of individual cases to be able to timely …

Markovian models have been used for about a century now for the evaluation of the
performance and dependability of computer and communication systems. In this paper, we …

In this paper, we present an evaluation methodology to validate the performance of a UML
model, representing a software architecture. The proposed approach is based on open and …

Level 3 of the ERTMS/ETCS improves the capacity of railways by replacing fixed-block
signalling, which prevents a train to enter a block occupied by another train, with moving …

随着人们对计算机网络系统的依赖性的不断增强, 网络系统的可信赖性研究变得越来越重要.
本文首先对可信赖性的概念及其主要性能指标进行论述, 并对系统可信赖性各种模型方法及求解 …

Time Petri nets describe the state of a timed system through a marking and a set of clocks. If
clocks take values in a dense domain, state space analysis must rely on equivalence …

This paper introduces a unified approach to phase-type approximation in which the discrete
and the continuous phase-type models form a common model set. The models of this …

Tramways decrease time, cost, and environmental impact of urban transport, while requiring
multimodal intersections where trams arriving with nominal periodic timetables may have …

e propose dtsd fgD n extension with deterministi lly timed multi tions of dis rete time sto h sti
nd immedi te etri ox l ulus@ dtsi fgAD previously presented y sF F r syukD rF wi nd F leroF …

Among the proposed techniques for the analysis of non-Markovian models the state space
expansion approach showed great flexibility in terms of modelling capacities. The principal …