A study of structured Free Choice Petri nets

Simple item page
dc.contributor.advisorJump, J. Robert
dc.creatorJotwani, Naresh Dhanraj
dc.date.accessioned2018-12-18T21:24:58Z
dc.date.available2018-12-18T21:24:58Z
dc.date.issued1975
dc.descriptionText includes handwritten formulas
dc.description.abstractA sub-class of the class of Free Choice Petri nets the class of Acyclic Free Choice Petri nets (AFCP nets) is first defined. After some of the properties of AFCP nets have been examined, a definition is made of Structured AFCP nets, i.e. AFCP nets which can be obtained by repeated top-down expansion, referred to as DU-Expansion, of an Acyclic Marked Graph (AMG). It is shown that an AFCP net is Structured if and only if it yields an AMG on repeated application to it of the process of DU-Reduction -- the converse of the process of DU-Expansion. An asynchronous control scheme, the Acyclic Control Structure (ACS), is then defined around AFCP nets. Definitions are made of the external behavior of the ACS and of the simulation of one ACS by another. A Structure Algorithm is presented which, given an ACS A, finds ACS Ag which simulates A and which is known to contain at least one subnet that can be collapsed by DU-Reduction. Theorems are presented proving the correctness of the algorithm. Finally, it is shown that any ACS can be simulated by a Structured ACS -- one built around a Structured AFCP net.
dc.format.digitalOriginreformatted digital
dc.format.extent87 pp
dc.identifier.callnoTHESIS E.E. 1975 JOTWANI
dc.identifier.citationJotwani, Naresh Dhanraj. "A study of structured Free Choice Petri nets." (1975) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/104532">https://hdl.handle.net/1911/104532</a>.
dc.identifier.digitalRICE2167
dc.identifier.urihttps://hdl.handle.net/1911/104532
dc.language.isoeng
dc.rightsCopyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.
dc.titleA study of structured Free Choice Petri nets
dc.typeThesis
dc.type.materialText
thesis.degree.departmentElectrical Engineering
thesis.degree.disciplineEngineering
thesis.degree.grantorRice University
thesis.degree.levelMasters
thesis.degree.nameMaster of Science
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
RICE2167.pdf
Size:
3.03 MB
Format:
Adobe Portable Document Format
Download
Collections
Rice University Electronic Theses and Dissertations