Engineering Commons^™

Simulation Of A Low Voltage Customer Microgrid Using Petri Nets, Joshua Mark

Theses

With renewable energy coming to the forefront of how power is generated and delivered to the modern consumer, Microgrids are emerging as an optimal and efficient method for implementing renewables and changing the infrastructure of the dated transmission and distribution grid. This thesis work presents mathematical models of Petri Nets for the simulation of a low voltage customer Microgrid. Using previous work created in this specific field, a Hybrid Petri Net is modified such that it consists of multiple distributed generators, storage, and the utility which is referred to as the main distribution grid in this thesis. A Discrete Petri …

Petri Net Modeling And Performance Analysis Of Can Fieldbus, Ji-Qiong Zhou

Theses

The CAN FB (Controller Area Network FieldBus) has been in existence for ten years. It supports automated manufacturing and process control environments to interconnect intelligent devices such as valves, sensors, and actuators. CAN FieldBus has a high bit rate and the ability to detect errors. It is immune to noise and resistant to shock, vibration, and heat. Two recently introduced mechanisms, Distributed Priority Queue (DPQ) and Priority Promotion (PP) enable CAN FieldBus networks to share out the system bandwidth and grant ail upper bound on the transmission times so as to meet the requirements in real-time communications. Modeling and analysis …

Relay Ladder Logic And Petri Nets For Discrete Event Control Design : A Comparative Study, Edward Twiss

Theses

In the 1960's and earlier discrete event systems (DES) were controlled by hardwired electromechanical relay systems. In 1969 an electronic programmable logic controller (PLC) was introduced. PLC's have been programmed utilizing relay ladder logic (RLL). RLL is a graphical programming language with software "devices" used to emulate electromechanical devices. RLL programs, however, often become large and difficult to understand because its graphical representation of physical switching devices obscures the discrete event dynamics inherent in the process to be controlled. Petri nets are a methodology for modeling discrete event systems (DES). Using a Petri net based controller, a control strategy could …

Performance Modeling Of High Data Rate Ring Networks Using Stochastic Petri Nets, Le Zhong

Theses

This thesis has proposed a performance analysis method for Carrier Sensing Multiple Access Ring Network (CSMA) based on Petri net methodologies. The method can offer more accurate results than traditional queuing methods, but less than simulation results. In the CSMA network access protocol is studied in this thesis, when a passing message is detected by a station, it stops transmitting immediately in order to avoid a collision.

A generalized stochastic Petri nets model is made first, then the SPNP package is used to do the analysis. The analysis results show that even at a very heavy load fraction of near …

Modeling, Evaluation, And Control Of A Flexible Manufacturing Cell Using Petri Nets, Glenn Arthur Thorniley

Theses

This thesis describes the usefulness of Petri nets in modeling, evaluating, and controlling a Flexible Manufacturing Cell (FMC). The basics of Petri net theory are explained and a specific FMC is examined. First, the FMC is modeled. The purpose of modeling is to facilitate the evaluation and provide a framework on which the control methodologies can be applied. The objective of the evaluation is to determine how the FMC would benefit most by replacing or adding equipment. Several ideas on control are combined to form a useful framework for the designing of the control net. With this framework the control …

Modeling And Performance Of Token Bus Lan With Petri Nets, Zhenggang Pan

Theses

A token bus local area network (LAN) is analyzed by Generalized Stochastic Petri Nets (GSPN). The GSPN models of both a single station and LAN for four types of service schemes are obtained and their liveness property is proved. The network performance parameters comprise throughput and delay. The performance analysis for both symmetric and asymmetric single-service systems is conducted for varying load. In order to analyze a token bus LAN with a large number of stations, an approximation method is developed to resolve the .state space explosion problem. A token bus LAN with twenty-one stations is used to show the …

Software Development For Analysis Of Stochastic Petri Nets Using Transfer Functions, Aman U. Jamwal

Theses

This thesis research is an implementation of a closed-form analytical technique for study, evaluation and analysis of Stochastic Petri Nets (SPN). The technique is based on a theorem that an isomorphism exists between an SPN and a Markov Chain. The procedure comprises five main steps: reachability graph generation of the underlying Petri net, transformation of the reachability graph to a state machine Petri net, calculation of transfer functions, computation of equivalent transfer functions via Mason's rule, and computation of performance parameters of the SPN model from the equivalent transfer functions and their derivatives. The software is developed in UNIX using …

Petri Net Modeling And Analysis Of An Fms Cell, Paresh A. Patel

Theses

Petri nets have evolved into a powerful tool for the modeling, analysis and design of asynchronous, concurrent systems. This thesis presents the modeling and analysis of a flexible manufacturing system (FMS) cell using Petri nets. In order to improve the productivity of such systems, the building of mathematical models is a crucial step.

In this thesis, the theory and application of Petri nets are presented with emphasis on their application to the modeling and analysis of practical automated manufacturing systems. The theory of Petri nets includes their basic notation and properties. In order to illustrate how a Petri net with …