Jump, J. Robert2018-12-182018-12-181975Jotwani, 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>.https://hdl.handle.net/1911/104532Text includes handwritten formulasA 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.87 ppengCopyright 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.ThesisRICE2167reformatted digitalTHESIS E.E. 1975 JOTWANI