Computational Restri tions for SPN with Generally Distributed Transition Times
نویسنده
چکیده
The analysis of sto hasti systems with non-exponential timing requires the development of suitable modeling tools. Re ently, some e ort has been devoted to generalize the on ept of Sto hasti Petri nets, by allowing the ring times to be generally distributed. The evolution of the PN in time be omes a sto hasti pro ess, for whi h in general, no analyti al solution is available. The paper des ribes suitable restri tions of the PN model with generally distributed transition times, that have appeared in the literature, and ompares these models from the point of view of the modeling power and the numeri al omplexity.
منابع مشابه
Markov Regenerative Stochastic Petri Nets
Stochastic Petri nets of various types (SPN, GSPN, ESPN, DSPN etc.) are recognized as useful modeling tools for analyzing the performance and reliability of systems. The analysis of such Petri nets proceeds by utilizing the underlying continuous-time stochastic processes continuous-time Markov chains for SPN and GSPN, semi-Markov processes for a subset of ESPNs and Markov regenerative processes...
متن کاملSymmetric Stochastic Petri Nets
The stochastic Petri net (SPN) model is well suited to formal representation of concurrency, synchronization, and communication. In this paper we focus on discrete event simulation methods for SPN models with special structure and define a symmetric SPN. Exploiting properties of a symmetric SPN and underlying regenerative process structure, we establish steady state estimation procedures based ...
متن کاملDesign and Implementation of aWEB - based non - Markovian
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...
متن کامل