Petri nets and their applications

Cardinal Scholar

Show simple item record

dc.contributor.advisor Bagga, Jay en_US
dc.contributor.author Jin, Wei en_US
dc.date.accessioned 2011-06-03T19:35:45Z
dc.date.available 2011-06-03T19:35:45Z
dc.date.created 1991 en_US
dc.date.issued 1991
dc.identifier LD2489.Z78 1991 .J56 en_US
dc.identifier.uri http://cardinalscholar.bsu.edu/handle/handle/184201
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
dc.description.degree Thesis (M.S.)
dc.identifier.cardcat-url http://liblink.bsu.edu/catkey/774753 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 [5330]
    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


Browse

My Account