Current Search:  Petri nets (x)

View All Items

  • CSV Spreadsheet
(1 - 3 of 3)
Correctness analysis of cache conherence protocols using Petri nets
Title
Correctness analysis of cache conherence protocols using Petri nets.
Creator
Hassan, Ahmed Kamal., Florida Atlantic University, Mahgoub, Imad
Abstract/Description
The use of cache memories in multiprocessor systems increases the overall systems performance. Caches reduce the amount of network traffic and provide a solution to the memory contention problem. However, caches introduce memory consistency problems. The existence of multiple cache copies of a memory block will result in an inconsistent view of memory if one processor changes a value in its associated cache. Cache coherence protocols are algorithms designed in software or hardware to maintain...
Show moreThe use of cache memories in multiprocessor systems increases the overall systems performance. Caches reduce the amount of network traffic and provide a solution to the memory contention problem. However, caches introduce memory consistency problems. The existence of multiple cache copies of a memory block will result in an inconsistent view of memory if one processor changes a value in its associated cache. Cache coherence protocols are algorithms designed in software or hardware to maintain memory consistency. With the increased complexity of some of the more recent protocols, testing for the correctness of these protocols becomes an issue that requires more elaborate work. In this thesis, correctness analysis of a selected group of representative cache coherence protocols was performed using Petri nets as a modeling and analysis tool. First, the Petri net graphs for these protocols were designed. These graphs were built by following the logical and coherence actions performed by the protocols in response to the different processors' requests that threatens memory consistency. Correctness analysis was then performed on these graphs.
Show less
Date Issued
1997
PURL
http://purl.flvc.org/fcla/dt/15366
Subject Headings
Cache memory, Multiprocessors, Computer network protocols, Petri nets
Format
Document (PDF)
Object-oriented design of flexible manufacturing systems
Title
Object-oriented design of flexible manufacturing systems.
Creator
Abou-Haidar, Bassam., Florida Atlantic University, Fernandez, Eduardo B.
Abstract/Description
This thesis presents a systematic method for the design and modeling of flexible manufacturing systems, using object-oriented concepts and Petri nets. In the method proposed, we first define the system components in terms of an object model consisting of hierarchical sets of classes and operations. Secondly, we model the dynamic aspects of the system using statecharts, including exceptions. As a third step, we derive Petri nets from those statecharts to realize the concurrency present in the...
Show moreThis thesis presents a systematic method for the design and modeling of flexible manufacturing systems, using object-oriented concepts and Petri nets. In the method proposed, we first define the system components in terms of an object model consisting of hierarchical sets of classes and operations. Secondly, we model the dynamic aspects of the system using statecharts, including exceptions. As a third step, we derive Petri nets from those statecharts to realize the concurrency present in the system. Finally we develop a hierarchy of controllers, corresponding to the layers of the object model, for the independent components of the system based on the Petri nets obtained in the previous step.
Show less
Date Issued
1993
PURL
http://purl.flvc.org/fcla/dt/14989
Subject Headings
Petri nets, Flexible manufacturing systems, Object-oriented programming (Computer science), Real-time control
Format
Document (PDF)
petri net framework for the simulation and control of automated systems
Title
A petri net framework for the simulation and control of automated systems.
Creator
Murgatroy, Richard John, Jr., Florida Atlantic University, Masory, Oren, College of Engineering and Computer Science, Department of Ocean and Mechanical Engineering
Abstract/Description
This thesis presents a programming framework in the C language to execute a petri net simulation and real-time control for an automated system. This framework allows for the simulation of a proposed flexible automated system, and also the simultaneous development of the real-time control. The system is based on petri nets, which are used to model the system. Basic petri net theory and the construction of models using petri nets are discussed. The program is designed to allow a hierarchical...
Show moreThis thesis presents a programming framework in the C language to execute a petri net simulation and real-time control for an automated system. This framework allows for the simulation of a proposed flexible automated system, and also the simultaneous development of the real-time control. The system is based on petri nets, which are used to model the system. Basic petri net theory and the construction of models using petri nets are discussed. The program is designed to allow a hierarchical structure to the petri net model, and a modular approach to the program design is taken using some concepts from object oriented programming. The program provides a time-based diagnostic system incorporated into the framework to detect problems during the execution of the actual system. An example application is provided to demonstrate the implementation of the framework to both simulate and control an actual system.
Show less
Date Issued
1995
PURL
http://purl.flvc.org/fcla/dt/15226
Subject Headings
Petri nets, Computer integrated manufacturing systems--Computer simulation, Flexible manufacturing systems--Computer simulation
Format
Document (PDF)