Regenerative Stochastic Petri Nets.

Abstract

The stochastic Petri net (SPN) framework permits formal specification of many discrete-event simulations. We define an SPN as a stochastic process and, using structural properties of the SPN and recurrence theory for generalized semi-Markov processes, establish conditions which ensure that an SPN is a regenerative process and that the expected time between regeneration points is finite. Steady-state estimation procedures for ring network simulations follow from these results. Keywords include: regenerative simulation; stochastic Petri nets; generalized semi-Markov processes; recurrence and regeneration; and ring networks.

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1984
Accession Number
ADA150343

Entities

People

  • G. S. Shedler
  • P. J. Haas

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Markov Processes
  • Network Simulation
  • Petri Nets
  • Ring Networks
  • Simulations
  • Specifications
  • Steady State
  • Stochastic Processes
  • Structural Properties

Readers

  • Computational Modeling and Simulation
  • Graph Algorithms and Convex Optimization.
  • Surface Coatings Technology.