Fluidification of Stochastic Petri Net by Non Linear Timed Continuous Petri Net
نویسندگان
چکیده
منابع مشابه
Fluidification of Stochastic Petri Net by Non Linear Timed Continuous Petri Net
Reliability analysis is often based on stochastic discrete event models like Markov models or stochastic Petri nets. For complex dynamical systems with numerous components, analytical expressions of the steady state are tedious to work out because of the combinatory explosion with discrete models. Moreover, the convergence of stochastic estimators is slow. For these reasons, fluidification can ...
متن کاملWebSPN : Non - Markovian Stochastic Petri Net Tool
This paper describes a new modeling tool for the analysis of non-Markovian stochastic Petri nets (SPN) that relax some of the restrictions present in currently available packages. This tool, called WebSPN, provides a discrete time approximation of the stochastic behaviour of the mrking process which results in the possibility to analyze a wider class of PN models with prd and prs concurrently e...
متن کاملSPNP: Stochastic Petri Net Package
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; in addition, the full expressive power of the C programming language is available to increase the flexibility of the net descr...
متن کاملTimed Petri net models of cluster tools
Timed Petri nets are used as models of cluster tools, representing not only the concurrency activities of different chambers, but also the durations of these activities. Structural analysis, based on net invariants, provides basic performance measures, such as throughput and cycle time. The results are obtained in symbolic form, so many specific variants can easily be compared without repeated ...
متن کاملAutomated Parallelization of Timed Petri-Net Simulations
Timed Petri-nets are used to model numerous types of large complex systems, especially computer architectures and communication networks. While formal analysis of such models is sometimes possible, discrete-event simulation remains the most general technique available for assessing the model's behavior. However, simulation's computational requirements can be massive, especially on the large com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Journal of Embedded Systems and Applications
سال: 2017
ISSN: 2376-6069
DOI: 10.11648/j.ajesa.20170504.11