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...

This paper shows a way to use stochastic Petri nets as formal availability models instead of Markov chains. Advantages of stochastic Petri nets over Markov models are illustrated on example models. The ability of stochastic Petri nets to represent the structure of modelled design and its use in further research is introduced.

We present a novel stochastic Petri net formalism where both discrete and continuous phase-type firing delays can appear simultaneously in the same model. By capturing non-Markovian behavior in discrete or continuous time, as appropriate, the formalism affords higher modeling fidelity. Alone, discrete or continuous phase-type Petri nets have simple underlying Markov chains, but mixing the two c...

Reward structures provide a versatile tool for the de nition of performance and dependability measures in stochastic Petri nets In this paper we derive formulas for the computation of expected reward measures in Markov regenerative stochastic Petri nets which allow for transitions with non exponentially distributed ring times The reward measures may be composed of rate rewards which are obtaine...

Energy consumption as an increasingly important decision criterion has to be included in the search for good architectural and design alternatives to make an embedded system as energy-efficient as possible. The proposed method describes a system with dedicated extended UML models for applications and hardware components and evaluates the energy use via a transformation into an analyzable stocha...

15 Some of the challenges are addressed in the paper. Actual implementation (currently in progress) of an FSPN simulator will undoubtedly reveal other problems. \Analyzing concurrent and fault-tolerant software using stochastic Petri nets," J.