In this paper, we show the structural characteristics that a particular class of Generalized Stochastic Petri Nets must exhibit in order for their stationary probabilities to have a product-form.â€¦ (More)

In order to incorporate the notion of time into Petri policy, the work done by the non-firing transitions Nets, most researchers have associated a firing deis not lost, but instead will be resumedâ€¦ (More)

In this paper we show that multi-class BCMP queueing networks can be represented by means of Product Form Solution Stochastic Petri Nets (PF-SPNs). Since the first time PF-SPNs were proposed, one ofâ€¦ (More)

Consider a queueing system in which customers (or jobs) arrive to one of Q separate queues to await service from one of S identical servers (Figure 1). Once a job enters a queue it does not leaveâ€¦ (More)

Let T = (V, 1?) be a tree. The eccentricity of a vertex i E V is the largest distance from i to any vertex in V. A vertex with minimum eccentricity is called a center of T. The wezght of a vertex i Eâ€¦ (More)

We use a colored generalized stochastic Petri net (CGSPN) model to study both the correctness and performance of Lamportâ€™s concurrent algorithm to solve the mutual exclusion problem on machinesâ€¦ (More)

In a recent paper, Lam and Lien described an algorithm called tree-convolution that can reduce the space and computation time required for evaluating sparse multiclass, product-form queueingâ€¦ (More)