Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

Abstract Stochastic Petri Nets are a modelling formalism that can be conveniently used for
the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their …

The use of nuclear energy to generate electric power is crucial to meet the high energy
demand of a modern economy. In newly constructed nuclear power plants (NPPs), the trend …

As an indispensable infrastructure for the future life, smart grid is being implemented to save
energy, reduce costs, and increase reliability. In smart grid, control center networks have …

With the prevalence of Internet of Things (IoT), edge computing has emerged as a novel
computing model for optimizing traditional cloud computing systems by moving part of the …

Increasingly, systems are composed from independently developed parts, and mechanisms
that allow those parts to interact (connectors). In many situations, specialized forms of …

A major application area for the probabilistic and numerical techniques explored in the
earlier chapters is in characterizing the behavior of complex computer and communication …

Operational analysis techniques are used to partially characterize the behavior of timed Petri
nets under very weak assumptions on their timing semantics. New operational inequalities …

The stochastic process-algebra modelling paradigm has been introduced recently as an
extension of classical process algebras with timing information aiming mainly at the …

A general iterative technique for approximate throughput computation of stochastic strongly
connected marked graphs is presented. It generalizes a previous technique based on net …