The compositional representation of a Markov chain using Kronecker algebra, according to a compositional model representation as a superposed generalized stochastic Petri net or a stochastic automata network, has been studied for a while. In this paper we describe a Kronecker expression and associated data structures, that allows to handle nets with synchronization over activities of different ...

High availability constraints ensure a high level of operational performance that must be maintained during a contractual measurement period. Such constraints must be satisfied, particularly, for critical systems related to global security and human safety. High availability often results from material redundancies and lead to large stochastic discrete event models with numerous states. Markov ...

Stochastic performance models are widely used to analyse the performance of systems that process customers and resources. However, the construction of such models is traditionally manual and therefore expensive, intrusive and prone to human error. In this paper we introduce PEPERCORN, a Petri Net Performance Model (PNPM) construction tool, which, given a dataset of raw location tracking traces ...

This paper addresses the computation of upper bounds for the steady-state throughput of stochastic Petri net systems with immediate and generally distributed timed transitions. It is achieved through the use of a kind of decomposition of the whole net system. Results are obtained deeply bridging stochastic Petri net theory to untimed Petri net and queueing network theories. Previous results are...

Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri nets, consisting of timediscrete as well as continuous Petri net elements, have proven to be ideal. This formalism was implemented based on the Modelica language. Several Petri net components are structured within an advanced Petri net library. A special sub-library con...

Priority speciications ooer a convenient description technique to resolve connicts in favour of particular actions. Besides specifying the functional behaviour of a system, priorities have also become important in the eld of performance analysis using stochastic Petri nets, where priorities are implicitly given by separating transitions into immediate and timed. For performance analysis of such...

In this paper, we show how to design a perfect simulation for Markovian fork-join networks, or equivalently, free-choice Petri nets. For pure fork-join networks and for event graphs, the simulation time can be greatly reduced by using extremal initial states, namely blocking states, although such nets do not exhibit any natural monotonicity property. Another approach for perfect simulation of p...

Coloured Petri nets are imperative for studying bigger biological models, particularly, those which expose repetition of components. Such models can be easily scaled by minor changes of a few parameters. Similarly, studying certain biological phenomena necessitates the existence of discrete and continuous variables as well as continuous and stochastic processes in one and the same model. Thus, ...

Topics: higher-level net models, timed and stochastic nets. Abstract System analysis is often done due to qualitative and quantitative aspects. Queueing networks and Petri nets are suitable and wide spread model worlds for such a form of analysis, because for both a well founded theory exists. The problem is that Petri nets and queueing networks are only suitable for qualitative analysis resp. ...

The stochastic modeling of biological systems is gaining more and more attention when stochastic fluctuations need to be described. On the other hand, the biological systems under investigation become much more complex than before. Traditional modeling methods like stochastic Petri nets do not easily scale and thus become difficult to tackle this situation. This paper aims to present a colored ...