The future European Train Control System (ETCS) will be based on mobile communication and overcome fixed blocks in order to increase track utilization and interoperability throughout Europe. Data processing on board the train and in radio block centers as well as the radio communication link are crucial factors for the safe and efficient operation. Their real-time behavior under inevitable link...

The product form results recently published for Stochastic Petri Nets are combined with the well known product form results for Queueing Networks in the model formalism of Queueing Petri Nets yielding the class of product form Queueing Petri Nets. This model class includes Stochastic Petri Nets with product form solution and BCMP Queueing Networks as special cases. We introduce an arrival theor...

Motivated by the need for performance models suitable for modeling and evaluation of wireless sensor networks, we introduce a retrial queueing system with a finite number of homogeneous sources, unreliable servers, orbital search, and unreliable orbit. All random variables involved in model construction are assumed to be independent and exponentially distributed. Providing a generalized stochas...

Many distributed systems are still too large to be handled. Thus, it’s important to find techniques that can be used to extend the size of the systems that can be verified and analyzed. In this paper, we study the qualitative and quantitative performance of the distributed systems that can be interacting with each other by using Temporized Stochastic Petri Net (TSPN) [5]. We consider then the c...

The solution of a generalized stochastic Petri net (GSPN) is severely restricted by the size of its underlying continuous-time Markov chain. In recent work, matrix diagrams built from a Kronecker expression for the transition rate matrix of certain types of GSPNs were shown to allow for more efficient solution; however, the GSPN model requires a special form, so that the transition rate matrix ...

In this paper we present a stochastic extension of finite PBC, sPBC, in which actions have a stochastic delay associated, which is taken from a negative exponential distribution. We define for the language both an operational and a denotational semantics, using a class of labelled stochastic Petri net as supporting values. In this paper we restrict our attention to finite sPBC, i.e., we conside...

Functional relationship between supplier and buyer in an open market place leads to investigate the role of both quantifiable and non-quantifiable parameters in coordination mechanism with the aim of achieving higher performance in supply chain activities. Here, we develop a supply chain model and a new agent to analyze and simulate the players’ behavior in the network. A cooperative game theor...

Companies need to efficiently manage their business processes to deliver products and services in time. Therefore, they monitor the progress of individual cases to be able to timely detect undesired deviations and to react accordingly. For example, companies can decide to speed up process execution by raising alerts or by using additional resources, which increases the chance that a certain dea...

This paper introduces a modeling approach for evaluating the performance of consistency models for Virtually Shared Memory systems. The proposed approach employs Deterministic and Stochastic Petri Nets (DSPNs) which provide a unified modeling tool for both qualitative and quantitative analysis. A DSPN of a sequential consistency model is presented which is employed for a quantitative performanc...