There is an abundance of business process modeling techniques that capture and address
different aspects of a business process. A limited number of these process models allow …

Performance modelling is concerned with the capture and analysis of the dynamic
behaviour of computer and communication systems. The size and complexity of many …

As a preliminary overview, this work provides first a broad tutorial on the fluidization of
discrete event dynamic models, an efficient technique for dealing with the classical state …

Slicing the 5G core network involves specifying network services according to the functional
and quality requirements of typical 5G use cases. In doing so, assessing the scalability and …

Since the past decades, environmental challenges have been increasing due to pollution
and production costs. For sustainable development, a green supply chain integrates the …

We present a toolbox for the combined functional and quantitative analysis of discrete event
dynamic systems (DEDS) on the basis of a common model interchange format, the Abstract …

Practical Performance Modeling: Application of the MOSEL Language introduces the new
and powerful performance and reliability modeling language MOSEL (MOdeling …

The numerical analysis of various modeling formalisms profits from a structured
representation for the generator matrix Q of the underlying continuous-time Markov chain …

In this paper we describe a formalism which uses the stochastic process algebra PEPA as
the inscription language for labelled stochastic Petri nets. Viewed in another way, the net is …

The most adequate tool of synthesis of the heterogeneous notions, concepts and methods is
their mathematical formalization which provides a common language of the description and …