Accession Number : ADA292715
Title : Discrete-Time Markovian Stochastic Petri Nets.
Descriptive Note : Contract rept.,
Corporate Author : INSTITUTE FOR COMPUTER APPLICATIONS IN SCIENCE AND ENGINEERING HAMPTON VA
Personal Author(s) : Ciardo, Gianfranco
PDF Url : ADA292715
Report Date : FEB 1995
Pagination or Media Count : 21
Abstract : We revisit and extend the original definition of discrete-time stochastic Petri nets, by allowing the firing times to have a defective discrete phase distribution. We show that this formalism still corresponds to an underlying discrete-time Markov chain. The structure of the state for this process describes both the marking of the Petri net and the phase of the firing time for of each transition, resulting in a large state space. We then modify the well-known power method to perform a transient analysis even when the state space is infinite, subject to the condition that only a finite number of states can be reached in a finite amount of time. Since the memory requirements might still be excessive, we suggest a bounding technique based on truncation. (AN)
Descriptors : *DISCRETE DISTRIBUTION, *MARKOV PROCESSES, MATHEMATICAL MODELS, ALGORITHMS, REQUIREMENTS, COMPUTATIONS, STOCHASTIC PROCESSES, QUEUEING THEORY, PROBABILITY DISTRIBUTION FUNCTIONS, MATHEMATICAL PROGRAMMING, APPROXIMATION(MATHEMATICS), CONTROL SEQUENCES.
Subject Categories : Statistics and Probability
Distribution Statement : APPROVED FOR PUBLIC RELEASE