A new class of stochastic Petri nets is proposed in this paper. The Stochastic High Level Petti nets [SHLPNs] are High Level Petti nets augmented with exponentially distributed firing times. The main advantage of modeling homogeneous systems using SHLPNs is that the resulting models are simpler, more intuitive and have a smaller number of states as our examples show.

In this technical report we define an operational net semantics for the stochastic process algebra MPA based on generalized stochastic Petri nets. As a consequence of the definition of such a semantics, we present an interesting modeling technique for concurrent systems which is based on MPA. 1. Dipartimento di Matematica, Università di Bologna, Piazza di Porta S. Donato 5, 40127 Bologna, Italy.

Structural product form and decomposition results for stochastic Petri nets are surveyed, unified and extended. The contribution is threefold. First, the literature on structural results for product form over the number of tokens at the places is surveyed and rephrased completely in terms of T -invariants. Second, based on the underlying concept of group-local-balance, the product form results ...

Petri nets have been widely used to model dynamic systems, namely manufacturing systems. In this paper we introduce the use of Petri nets to model robotic tasks. Diierent views of the robotic task model can be modeled by distinct Petri net types: interpreted Petri nets for task design and execution, generalized stochastic Petri nets for task quantitative performance evaluation and ordinary Petr...

In this paper we investigate some relations between the Petri net formalism and the queueing networks with blocking. This type of queueing network models are used to represent systems with finite capacity resource constraints, such as production, communication and computer systems. Various blocking mechanisms have been defined in the literature to represent the different behaviours of real syst...

This paper describes a new modeling tool for the analysis of non-Markovian stochastic Petri nets (SPN). This tool, called Web-SPN, provides a discrete time approximation of the stochastic behavior of the marking process which results in the possibility to analyze a wider class of PN models with prd, prs and pri concurrently enabled generally distributed transitions. An example is used to show t...