GreatSPN is a tool for the stochastic analysis of systems modeled as (stochastic) Petri nets.
This chapter describes the evolution of the GreatSPN framework over its life span of 30 …

It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …

This tutorial presents an overview of model checking for both discrete and continuous-time
Markov chains (DTMCs and CTMCs). Model checking algorithms are given for verifying …

This paper presents the rational for and an outline of the design of a time-triggered (TT)
Ethernet that unifies real-time and non-real-time traffic into a single coherent communication …

The paper addresses the dynamic modeling of degrading and repairable complex systems.
Emphasis is placed on the convenience of modeling for the end user, with special attention …

The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …

Abstract Multilevel Fiduccia-Mattheyses (MLFM) hypergraph partitioning [3, 22, 24] is a
fundamental optimization in VLSI CAD physical design. The leading implementation, hMetis …

During the past years, sending data to the cloud servers was a prominent trend, making the
cloud computing paradigm dominate the technology landscape. However, the internet of …

Purpose–The purpose of this paper is to permit the system reliability analysts/managers/
engineers to model, analyze and predict the behavior of industrial systems in a more …

Collective I/O, such as that provided in MPI-IO, enables process collaboration among a
group of processes for greater I/O parallelism. Its implementation involves file domain …