Elsevier

Performance Evaluation

Volume 26, Issue 3, September 1996, Pages 159-180
Performance Evaluation

Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets

https://doi.org/10.1016/0166-5316(95)00023-2Get rights and content

Abstract

We examine product form equilibrium distributions for classes of batch movement queueing networks and stochastic Petri nets (SPNs). For this class of nets we use matrix techniques to obtain a particular product form result and a condition for its existence. In addition we derive a convolution algorithm for calculating the normalising constant of product form SPNs. The convolution requires the generation of marking sets for each place in the SPN and avoids the need to generate the reachability graph.

References (35)

  • Z. Dziong et al.

    Congestion probabilities in a circuit-switched integrated services network

    Performance Evaluation

    (1987)
  • A.A. Lazar et al.

    Markovian petri net protocols with product form solution

    Performance Evaluation

    (1991)
  • F. Baskett et al.

    Open, closed and mixed networks of queues with different classes of customers

    J. ACM

    (1975)
  • R.J. Boucherie et al.

    Spatial birth-death processes with multiple changes and applications to batch service networks and clustering processes

  • J.P. Buzen

    Computational algorithms for closed queueing networks with exponential servers

    Comm. ACM

    (1973)
  • G. Chiola

    A software package for the analysis of generalised stochastic petri net models

  • G. Ciardo et al.

    SPNP: Stochastic Petri net package

  • J.L. Coleman et al.

    A convolution algorithm for calculating exact equilibrium distributions in resource allocation problems with moderate user interference

    IEEE Trans. Comm.

    (1994)
  • J.L. Coleman et al.

    Product form equilibrium distributions and an algorithm for classes of batch movement queueing networks and stochastic Petri nets

  • A.E. Conway et al.

    RECAL — A new efficient algorithm for the exact analysis of multiple-chain closed queueing networks

    J. ACM

    (1986)
  • A.E. Conway et al.

    Mean value analysis by chain of product form queueing networks

    IEEE Trans. Comput.

    (1989)
  • J. Desel et al.

    Reachability in reversible free-choice systems

  • D. Frosch

    Product form solutions for closed synchronized systems of stochastic sequential processes

  • D. Frosch

    Product form closed synchronized systems of stochastic sequential processes: A convolution algorithm

    (1992)
  • W.J. Gordon et al.

    Closed queueing systems with exponential servers

    Oper. Res.

    (1967)
  • W. Henderson et al.

    Product form in networks of queues with batch arrivals and batch services

    Queueing Systems

    (1990)
  • W. Henderson et al.

    Embedded processes in stochastic petri nets

    IEEE Trans. Software Engrg.

    (1991)
  • Cited by (39)

    • Computation of the normalising constant for product-form models of distributed systems with synchronisation

      2020, Future Generation Computer Systems
      Citation Excerpt :

      However, this algorithm, in contrast with MDD-rec, is not applicable to any product-form SPN, but only to a subclass of S-invariant reachable SPNs. In this section, we first introduce the conditions required by S-invariant reachable SPNs and then we compare the convolution algorithm of [19] with the proposed algorithm MDD-rec. The following Lemma appears in [40] but with a different formulation, so we include it here for clarity.

    • Extending propositional dynamic logic for Petri nets

      2014, Electronic Notes in Theoretical Computer Science
    • Methodological construction of product-form stochastic Petri nets for performance evaluation

      2012, Journal of Systems and Software
      Citation Excerpt :

      Their SPN structure is shown in Fig. 12. In the original paper it was studied using the HT approach (Henderson et al., 1989; Coleman et al., 1996). We first identify the BBs shown in Fig. 13 using Algorithm 1.

    View all citing articles on Scopus
    View full text