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 “"Petri net models"”.
-
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 …
-
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 …
-
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.
-
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 …
-
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".
-
Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets
… Enforcing Supervisory Policies (LESPs) for Petri net models of DEDS systems. Past research has shown that the existence of an LESP in DEDS systems modeled by a class of general Free-Choice Petri Nets (FCPNs) is decidable, and the minimally restrictive LESP is directly related to the presence …
-
Computer control of machines utilising independent drive mechanisms
… notations, including Data flow diagrams and Petri-nets, is described which supports capture and allows validation of requirements. A generic design for a modular, IDM machine controller is derived based upon hierarchy of control identified in these machines. A two mechanism experimental …
-
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 …
-
The development of hard real-time systems using a formal approach
… verification. Specifically, the combination of Petri nets and temporal logic is considered for the specification and verification of hard real-time systems. Approaches that combine Petri nets and temporal logic by allowing a consistent translation between each formalism are examined. Previously, …
-
Semi-automated reconstruction of biological networks based on a life science data warehouse
… for visualizing and modeling biological networks. The user is able to create a user-specific pathway without any restrictions. Moreover, the editor is connected to the data warehouse approach, so that the user can take advantage of a wide range of biomedical data sources. Additionally, an …
-
State estimation and sensor selection in discrete event systems modeled by Petri nets
… variety of contexts, such as energy distribution networks, computer and communication networks, automated manufacturing systems, air traffic control systems, highly integrated command, control, communication, and information (C3I) systems, advanced monitoring and control systems in automobiles or …
-
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 …
-
Quantitative modeling and analysis with FMC-QE
… Through reducing the model complexity of the models by decomposing the system in different hierarchical views, the distinction between operational and control states and the calculation of the performance values on the assumption of the steady state, FMC-QE has a scalable applica-bility on …