Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Electrical and Computer Engineering

Theses

Theses/Dissertations

Petri nets

Articles 1 - 5 of 5

Full-Text Articles in Engineering

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

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 May 1998

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 …


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

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 And Performance Of Token Bus Lan With Petri Nets, Zhenggang Pan May 1992

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 Dec 1991

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 …