Structured Petri Nets for the Design and Implementation of Manufacturing Control Software with Fault Monitoring Capabilities

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<br/>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<br/>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.

Name dc:type.qualificationname

Doctoral Thesis

Level dc:type.qualificationlevel

Student thesis

Year dc:date.issued

1998

Author dc:creator

• Stanton, Martin

• manufacturing control software
• Petri nets
• Logic controllers
• diagnosis tool

Language dc:language

eng

Identifier

oai:pure.atira.dk:studenttheses/6e493d80-5bd4-45c8-9be1-db8b843851f0

OAI identifier oai:identifier

oai:pure.atira.dk:studenttheses/6e493d80-5bd4-45c8-9be1-db8b843851f0