Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 14 of 14 for “"Stochastic Petri Nets"”.
-
Ad hoc network security and modeling with stochastic petri nets
… expressions. This research presents a Stochastic Petri net-based approach to modeling and analysis of mobile ad hoc network. This work illustrates how this model is built as a scalable model and used to exploit the characteristics of the networks. The proposed scheme is a powerful …
-
Symbolic techniques for the performance analysis of generalised stochastic petri nets
… systems, particularly those of Generalised Stochastic Petri Nets (GSPNs). We make use of symbolic methods, where states are represented implicitly rather than explicitly, primarily to conserve memory during the state space exploration process - a necessary step in the performance analysis …
-
Performance evaluation of an auction based manufacturing system using generalized stochastic Petri nets.
Auction Based Manufacturing is a form of Heterarchical control. Such a system relies upon the intelligence of individual machining centres to allocate parts to prospective machining centres which can do the next stage of machining. This approach eliminates the requirement of a costly pre process …
-
Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets
… performance analysis of SDL with a new type of stochastic Petri net is described. This new net is called SDL-net. The Concurrent Communicating System is described, and the need for qualitative and quantitative analysis of such systems is motivated. Formal methods are demonstrated which can be …
-
Performance and Security Trade-offs in High-Speed Networks. An investigation into the performance and security modelling and evaluation of high-speed networks based on the quantitative analysis and experimentation of queueing networks and generalised stochastic Petri nets.
… based on queueing networks (QNs) and generalised stochastic Petri nets (GSPNs). However, these models do not take into consideration Performance Engineering Principles (PEPs) and the adverse impact of traffic burstiness and security protocols on performance. The contributions of this thesis are …
-
Stochastic Petri Net Models of Service Availability in a PBNM System for Mobile Ad Hoc Networks
… to the values obtained via empirical methods. Stochastic Petri Nets are used as performance evaluation tools in development and analysis of these system models.
-
Sistema de planificación estocástico de proyectos: Implicaciones en la gestión de riesgos
In this work titled 'Stochastic Project Scheduling System: Implications for Risk Management' we develop a stochastic risk model for the project's network depicted by more general Stochastic Petri Nets. The model expresses the uncertainty about activities' duration, and it includes contingency plans …
-
Generalised analytic queueing network models. The need, creation, development and validation of mathematical and computational tools for the construction of analytic queueing network models capturing more critical system behaviour.
… exactly using methods proposed for Generalised Stochastic Petri Nets. For two centre. systems of GE type a new technique simplifying the balance equations is developed. A very efficient "building bglloocbka"l. is presented for exactly solving two centre systems with service or transfer blocking, …
-
Generalised Markovian analysis of timed transition systems
… high-level formalisms, including Generalised Stochastic Petri nets, queueing networks and Queueing Petri nets. A system modelled with one of these formalisms may be mapped onto a Markov chain through a process known as state space generation. The Markov chain thus generated can then be solved …
-
Distributed analysis of Markov chains
… description techniques such as generalised stochastic Petri nets and queuing networks can generate these models. Tools for Markov chain analysis face the problem of state Spaces that are so large that they exceed the memory and processing power of a single workstation. This problem is …
-
Design and Analysis of Intrusion Detection Protocols in Cyber Physical Systems
… />We develop a probability model based on stochastic Petri nets to describe the behavior of a CPS incorporating our proposed intrusion detection and response designs, subject to attacks by malicious nodes exhibiting a range of attacker behaviors, including reckless, random, insidious and …
-
Dynamic model-based safety analysis: from state machines to temporal fault trees
… be converted to analysis models like Generalised Stochastic Petri Nets (GSPNs), Markov Chains (MCs) or Fault Trees (FTs). This is particularly important if the transformed models are supported by safety analysis tools.This thesis, firstly, identifies a number of problems encountered in current …
-
Probabilistic Estimation of Unobserved Process Events
… business process management that is based on a stochastic variant of Petri nets. We present a holistic approach to use the model effectively along the business process lifecycle. Therefore, we provide techniques to discover such models from historical observations, to predict the termination …