Petri nets and their applications

Cardinal Scholar

Cardinal Scholar is under a temporary content freeze while we migrate to a new repository platform. This freeze will continue through 06/20/2023.

Show simple item record

dc.contributor.advisor Bagga, Jay en_US Jin, Wei en_US 2011-06-03T19:35:45Z 2011-06-03T19:35:45Z 1991 en_US 1991
dc.identifier LD2489.Z78 1991 .J56 en_US
dc.description.abstract Petri nets are named in honor of Dr. Carl A. Petri for his famous Ph.D dissertation of general net theory in 1962. A substantial amount of work utilizing and modifying the Petri nets has been done since then, and they have turned out to be very useful in the study of asynchronous concurrent systems. The liveness and reachability problems are considered to be some of the major problems in Petri net theory.Since the structure of a Petri net can be regarded as sets of places and transitions form a graphical point of view, this thesis is concerned with utilizing the results of graph theory to investigate the liveness in terms of deadlock problems of a special subclass of Petri nets, free-choice Petri nets. As a subclass of Petri nets, the class of free-choice Petri nets possesse relatively strong analysis properties. This is especially true of complete free-choice Petri nets. We show in particular that any system which can be modeled by a general Petri net can also be modeled by a free-choice Petri net.
dc.description.sponsorship Department of Computer Science
dc.format.extent ii, 34 leaves : ill. ; 28 cm. en_US
dc.source Virtual Press en_US
dc.subject.lcsh Petri nets. en_US
dc.subject.lcsh Nets (Mathematics) en_US
dc.title Petri nets and their applications en_US Thesis (M.S.)
dc.identifier.cardcat-url en_US

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

  • Master's Theses [5589]
    Master's theses submitted to the Graduate School by Ball State University master's degree candidates in partial fulfillment of degree requirements.

Show simple item record

Search Cardinal Scholar


My Account