THE USE OF PETRI NETS IN DETECTING AND MODELING CONCURRENCIES.
Item
-
Title
-
THE USE OF PETRI NETS IN DETECTING AND MODELING CONCURRENCIES.
-
Identifier
-
AAI8023703
-
identifier
-
8023703
-
Creator
-
GELLER, JACOB BEN-ZION.
-
Contributor
-
Michael Anshel
-
Date
-
1980
-
Language
-
English
-
Publisher
-
City University of New York.
-
Subject
-
Computer Science
-
Abstract
-
In this thesis we explore the use of Petri Nets in the detection and modeling of concurrencies in asynchronous concurrent systems.;We consider Data Base Systems, Protection Systems, and Resource Management Systems. We show how each of these systems can be modelled as a dynamic Petri Net and how these models can be used to address problems in the respective areas. In each of these systems concurrency is an essential feature. In fact, many of the most difficult problems arising in these areas are results of their concurrent nature.;To study these problems we extend the theory of Petri Nets. We present an algebraic Petri Net in which we are able to consider markings over the nonnegative real numbers. In addition, we suggest further extensions to more general markings such as markings over vectors.;Of fundamental importance to us in all of our work is the detection of concurrencies in such systems. We give two characterizations of concurrency in Petri Nets and show how they are equivalent. We also present algorithms for computing all of the concurrencies in a Petri Net.;We present our work towards developing a System for the Design of Asynchronous Concurrent Systems (SYSDACS). The proposed system consists of a design language, compiler, and query facility. Through the use of the system a user can: (1) design an asynchronous concurrent system at a very high level; (2) investigate his design using a very high level query language; (3) produce a control module which will execute his system according to his design.
-
Type
-
dissertation
-
Source
-
PQT Legacy CUNY.xlsx
-
degree
-
Ph.D.
-
Program
-
Engineering
