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 20 of 77 for “"Petri net."”.
-
The complexity of Petri net transformations
… complexity of various reduction and synthesis Petri net transformations. Transformations that preserve liveness and boundedness are considered. Liveness and boundedness are possibly the two most important properties in the analysis of Petri nets. Unfortunately, although decidable, determining …
-
Petri net models of microgrids with distributed generators
… 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, are introduced with their examples targeted at modeling the behavior of a microgrid. Coordination control of multiple …
-
Petri net modeling of fault analysis for probabilistic risk assessment
… of basic events. This thesis investigates Petri net modeling as a potential alternative for PRA modeling. Petri nets have mainly been used as a simulation tool for queuing and network systems. However, it has been suggested that they could also model failure scenarios, and thus could be a …
-
Modeling next generation air traffic control system with petri net
… generation ATC system is designed, and their Petri net models are constructed for the control module to achieve "Free Flight".
-
Design of automated guided vehicle systems using Petri net models
… caused by the control systems. In this thesis, Petri net theory is introduced as an alternative method for the modeling of AGV systems. It is a graph theoretic tool which can easily capture synchronization and resource sharing situations which are common in AGV systems. Further, well developed …
-
A Petri Net framework for the representation and analysis of aircraft turnaround operations
… for improvements at a systemic level. Petri Nets were chosen as the modelling tool as they possess features which can sufficiently account for both the complexity and uncertainty associated with aircraft turnarounds. Petri Nets models were first constructed to provide general …
-
A Petri net-occam based methodology for the development of dependable distributed control software.
… and which is comprehensible. Place-transition Petri nets are an ideal representation for designing and modelling the interaction of concurrent (and distributed) processes. Occam is a high level real time parallel language designed to execute on one or a network of transputers. Transputers are …
-
Stochastic Petri Net Models of Service Availability in a PBNM System for Mobile Ad Hoc Networks
Policy based network management is a promising approach for provisioning and management of quality of service in mobile ad hoc networks. In this thesis, we focus on performance evaluation of this approach in context of the amount of service received by certain nodes called policy execution points …
-
A petri net based model for AEB systems considering vehicle and pedestrian/cyclist in a certain area
… area rather than predicting the collision point. Petri net models were built for both vehicle and pedestrian/cyclist in potential collision area and crossing road scenarios. Then, controllers were designed for Petri net models and all possible states were calculated.
-
Reasoning about Goal-Plan Trees in Autonomous Agents: Development of Petri net and Constraint-Based Approaches with Resulting Performance Comparisons
… an individual agent. The first of these employs Petri nets to represent and reason about the goals, while the second uses constraint satisfaction techniques to find efficient ways of achieving the goals. Three types of reasoning are incorporated into these models: reasoning about consumable …
-
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 …
-
Automated Verification of Object Petri Nets based on Transformation, Unfoldings and SAT Solving
Object Petri nets are a Petri net framework that follows the nets-within-nets paradigm introduced by Valk. In Object Petri nets the token of ordinary Petri nets are allowed to be Petri nets themselves. This formalism and similar formalisms that allow to interpret the tokens of an ordinary Petri net …
-
Modeling, monitoring and optimization of discrete event systems using Petri nets
… and Optimization of Discrete Event Systems Using Petri Nets. Major Professor: Lingxi Li. In last decades, the research of discrete event systems (DESs) has attracts more and more attention because of the fast development of intelligent control strategies. Such control measures combine the …
-
A methodology for analysis and control of discrete event dynamic systems
… current modelling techniques and describes Petri net theory in more detail. It reviews top down, bottom up and hybrid Petri net synthesis techniques that are used to model large systems and introduces on object oriented methodology to enable modelling of larger and more complex systems. …
-
Estimation, Diagnosis, and Control in Discrete Event Systems in the Presence of Observability Constraints and Faults
… is the problem of fault-tolerant control in Petri nets. In particular, we aim at providing tolerance against faults that may compromise the functionality of a given controller (modeled by a Petri net). We propose two approaches for the design of fault-tolerant redundant Petri net controllers. …
-
In silico systems analysis of biopathways
… have been produced; a number of specific genetic/metabolic databases and computational systems have been developed, which makes it possible for biologists to perform in silico analysis of metabolism. With experimental data from laboratory, biologists wish to systematically conduct their …
-
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 …
-
On the Modeling of Signaling Networks with Petri Nets
… the inner-cell interactions motivates the use of Petri nets as a framework for the whole-cell modeling. Petri nets have been successfully used in modeling of metabolic pathways, as it allows for a straightforward mapping from its stoichiometric matrix to the Petri net structure. The Boolean …
-
The Impact of Petri Nets on System-of-Systems Engineering
… and analyse system-of-systems 2. Determining how Petri nets can be used to improve the specification and analysis of the dynamic model of a system-of-systems specified using UML This thesis presents the strengths and weaknesses of Petri nets in relation to the specification of system-of-systems …
Page 1 of 4