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 10 of 10 for “"Petri net model"”.
-
A practical application of Petri nets in the software safety analysis of a real-time military system.
This thesis evaluates the usefulness of Petri net modeling for software safety analysis of a real-time system. The system is a safety arming device for a guided missile. The features of basic Petri net modeling are discussed in relation to the kinds of components that are found in real-time …
-
Petri net models of microgrids with distributed generators
… distributed generators; and another is how to model both discrete event and continuous behaviors of a microgrid. To address these two issues, this thesis work applies Petri nets to both modeling and control of a microgrid. Ordinary Petri nets, hybrid Petri nets, and finite capacity Petri nets, …
-
Design of automated guided vehicle systems using Petri net models
The analytical models for the design of automatic guided vehicle systems (AGVs) available in the literature are limited to the computations of the fleet size and the design of the guide path layout. Another major design factor which affects the performance of an AGV system is the locations and the …
-
Envisionment-Based Scheduling Using Time Interval Petri Networks: Representation, Inference, and Learning
… the following five main contributions: (1) A Petri Nets based approach to decision-making scheduling through environment modeling is presented. Petri Nets formalism is known for its solid theoretical base, clear syntax and semantics, intuitive graphic representation, and native concurrency …
-
The Design of Fault Tolerant Software for Loosely Coupled Distributed Systems
… for this class of distributed system. Petri nets are used to represent the state and to solve state reachability problems for concurrent systems. The dynamic behaviour of the system can be characterised by a state-change table derived from the state reachability tree. Systematic …
-
Survivability modeling for cyber-physical systems subject to data corruption
… and security are expected. Quantitative models and evaluation methods are required for determining the extent to which a cyber-physical infrastructure improves on its physical predecessors. It is essential that these models reflect both cyber and physical aspects of operation and failure. …
-
Integrating In-Silico Models with In-Vitro Data to Generate Novel Insights into Biological Systems
Models and computational predictions are useful in identifying certain key parameters that play a central role in defining the overall behavior of the system, and thus lead to new and more informative experiments. In this thesis, in-silico models are developed over a range of individual biological …
-
Development of real-time process control systems using formal techniques
… characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system …
-
Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets
… in safety-critical interactive systems, formal modelling and analysis plays a vital role. Generally, existing techniques focus either on modelling the user interface or on modelling the functionality of a system. Although there are many benefits to using the individual models for different …
-
Slicing and reduction techniques for model checking Petri nets
… Arbeit werden zwei Reduktionsansätze für Petri-Netze vorgestellt, Petri-Netz Slicing und Cutvertex Reduktionen. Beide Ansätze zielen darauf ab, der Zustandsraumexplosion beim Model Checken entgegenzuwirken. Dazu transformieren sie ein gegebenes Petri-Netz in ein kleineres Netz, so dass …