Stochastic reaction networks are dynamical models of biochemical reaction systems and
form a particular class of continuous-time Markov chains on N^n. Here we provide a …

The power needs of digital devices, their installation in locations where it is difficult to
connect them to the power grid and the difficulty of frequently replacing batteries, create the …

This paper studies interconnected wireless sensors with the paradigm of Energy Packet
Networks (EPN) which were previously introduced. In the EPN model, both data …

This study proposes a stochastic Petri net model for evaluating the security and resilience of
cyber‐physical systems (CPSs) in the face of malicious attacks. The basic idea behind the …

We represent a computer cluster as a multi-server queue with some arbitrary graph of
compatibilities between jobs and servers. Each server processes its jobs sequentially in …

The GO methodology, which is a success-oriented system analysis technique, is effective for
evaluating the reliability of complex systems with multiple states and time-series. It is widely …

In the literature devoted to the efficient solution of Continuous Time Markov Chains (CTMCs)
the notions of lump ability and reversibility have a central role. In the context of lump able …

Dynamic load balancing plays an important role in the management of data centres where a
fair workload distribution may be hard to achieve. Dynamic load balancing algorithms are …

The analysis of fork-join queueing systems has played an important role for the performance
evaluation of distributed systems where parallel computations associated with the same job …

In this paper we address the problem of efficiently deriving the steady-state distribution for a
continuous time Markov chain (CTMC) S evolving in a random environment E. The process …