Petri nets and their applications

Jin, Wei

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
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 [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

Browse

All of Cardinal Scholar
This Collection
- Dates
- Authors
- Titles
- Subjects
- Advisors
- Departments

My Account

If you find content within Ball State University Libraries collections that you believe infringes your copyright or otherwise violates the law, please contact us and we will carefully review the material and take appropriate action. Copyright notifications must comply with the requirements of Section 512(C)(3) of the Digital Millennium Copyright Act. Note that only the copyright owner or an authorized representative of the copyright owner can file a DMCA Infringement Notice on his/her behalf.

For more information, please see the Ball State University copyright statement.