Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides
state-of-the-art solutions to common problems in manufacturing systems. Assuming some …

In this paper we present a representation of the Markov process underlying a PEP A model
in terms of a Kronecker product of terms. Whilst this representation is similar to previous …

A technique for defining and extracting passage-time densities from high-level stochastic
process algebra models is presented. Our high-level formalism is PEPA, a popular …

This paper gives a summary of some of the work of the Performance Evaluation Process
Algebra (PEPA) project, which was awarded the 2004 Roger Needham Award from the …

We describe a software toolset which allows UML modellers to annotate their models with
performance information. An equivalent performance model is extracted from the UML …

The advantages of the compositional structure within the Markovian process algebra PEPA
for model construction and simplification have already been demonstrated. In this paper we …

针对随机进程代数(stochastic process algebra, 简称SPA) 的基本模型方法,
模型特点和该领域的主要研究成果进行了综述. 比较了SPA 和随机Petri 网(stochastic Petri nets …

The need for flexible manufacturing systems (FMSs) has become of utmost importance over
the last years due to the fierce competition present in the manufacturing industry as well as …

In this paper we explore the trade-off between security and performance in considering a
model of a key distribution centre. The model is specified using the Markovian process …

In this paper we consider two performance modelling techniques from the perspectives of
model construction, generation of an underlying continuous time Markov process, and the …