Use this URL to cite or link to this record in EThOS:
Title: Structured petri nets for the design and implementation of manufacturing control software with fault monitoring capabilities
Author: Stanton, Martin
Awarding Body: University of Glamorgan
Current Institution: University of South Wales
Date of Award: 1998
Availability of Full Text:
Access from EThOS:
Access from Institution:
The thesis describes a method for the design and implementation of manufacturing control software using structured Petri nets. An earlier design method is presented from which a more formal approach is developed, and a definition for structured Petri nets is given. This definition is then compared to other classes of Petri net found in the literature. A comparison is also made between the proposed design method and other methods described in the literature. The structured Petri nets are then used to create a control structure, which is shown to have properties that allow the detection and diagnosis of faults originating both in the hardware and the software of the system. A detailed discussion is also presented concerning the implementation of structured Petri nets on various types of manufacturing controller and on general-purpose computers. In particular, results are presented from experiments with various implementation methods on programmable logic controllers. Conclusions are then drawn on the various aspects of the work and details of further research possibilities are described.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: manufacturing control software ; Petri nets ; Logic controllers ; diagnosis tool