A graphical method for automatic code generation from extended s-system petri net models

This work has introduced a fast and reliable method for graphical modeling of discrete systems control problems using extended S-system Petri Net. By adding new functionalities to the extended S-System Petri Net, dynamic quantities such as microcontroller signals transitions, system timing, in...

Full description

Saved in:
Bibliographic Details
Main Author: Ng, Kok Mun
Format: Thesis
Language:en
en
en
Published: 2006
Subjects:
Online Access:http://eprints.uthm.edu.my/7116/1/24p%20NG%20KOK%20MUN.pdf
http://eprints.uthm.edu.my/7116/2/NG%20KOK%20MUN%20COPYRIGHT%20DECLARATION.pdf
http://eprints.uthm.edu.my/7116/3/NG%20KOK%20MUN%20WATERMARK.pdf
http://eprints.uthm.edu.my/7116/
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1833418284539576320
author Ng, Kok Mun
author_facet Ng, Kok Mun
author_sort Ng, Kok Mun
building UTHM Library
collection Institutional Repository
content_provider Universiti Tun Hussein Onn Malaysia
content_source UTHM Institutional Repository
continent Asia
country Malaysia
description This work has introduced a fast and reliable method for graphical modeling of discrete systems control problems using extended S-system Petri Net. By adding new functionalities to the extended S-System Petri Net, dynamic quantities such as microcontroller signals transitions, system timing, interrupts, subroutines and arithmetic operations could now be modeled by software. A graphical-based diagram editor has been developed in this work to handle the model entry, editing and visualization. The diagram editor contains all the basic facilities required for entering, editing, visualization and syntax analysis of the S-System Petri Net model. A compiler has also been built to compile the graphical model and generate the assembly code automatically. Together, the diagram editor and model compiler forms an integrated design and development tool called S-PNGEN. Seamless data binding between the diagram editor and the model compiler is achieved by using a common directed-graph framework to internally represent the model diagrams. Diagram syntax checking was implemented using attributed graph grammar. Also introduced in this work is an efficient method for implementing the control solutions on a microcontroller. This involves the development of a procedure for automatically mapping S-System Petri Net models constructed in the diagram editor to control flow graphs. The procedure uses a notion called graph nesting to help the design tool read and understand S-System model diagrams and transform them into control flow graphs. Conversion of an S-System Petri Net model into a control flow graph is an innovative approach introduced in this work for automatic code generation as it guarantees the production of the correct code layout and information for use by the compiler. By applying a syntax-directed translation on the control flow graph constructed, the built-in compiler then automatically generates the assembly code for the target microcontroller.
format Thesis
id my.uthm.eprints-7116
institution Universiti Tun Hussein Onn Malaysia
language en
en
en
publishDate 2006
record_format eprints
spelling my.uthm.eprints-71162022-06-08T02:09:33Z http://eprints.uthm.edu.my/7116/ A graphical method for automatic code generation from extended s-system petri net models Ng, Kok Mun TJ Mechanical engineering and machinery TJ212-225 Control engineering systems. Automatic machinery (General) This work has introduced a fast and reliable method for graphical modeling of discrete systems control problems using extended S-system Petri Net. By adding new functionalities to the extended S-System Petri Net, dynamic quantities such as microcontroller signals transitions, system timing, interrupts, subroutines and arithmetic operations could now be modeled by software. A graphical-based diagram editor has been developed in this work to handle the model entry, editing and visualization. The diagram editor contains all the basic facilities required for entering, editing, visualization and syntax analysis of the S-System Petri Net model. A compiler has also been built to compile the graphical model and generate the assembly code automatically. Together, the diagram editor and model compiler forms an integrated design and development tool called S-PNGEN. Seamless data binding between the diagram editor and the model compiler is achieved by using a common directed-graph framework to internally represent the model diagrams. Diagram syntax checking was implemented using attributed graph grammar. Also introduced in this work is an efficient method for implementing the control solutions on a microcontroller. This involves the development of a procedure for automatically mapping S-System Petri Net models constructed in the diagram editor to control flow graphs. The procedure uses a notion called graph nesting to help the design tool read and understand S-System model diagrams and transform them into control flow graphs. Conversion of an S-System Petri Net model into a control flow graph is an innovative approach introduced in this work for automatic code generation as it guarantees the production of the correct code layout and information for use by the compiler. By applying a syntax-directed translation on the control flow graph constructed, the built-in compiler then automatically generates the assembly code for the target microcontroller. 2006-07 Thesis NonPeerReviewed text en http://eprints.uthm.edu.my/7116/1/24p%20NG%20KOK%20MUN.pdf text en http://eprints.uthm.edu.my/7116/2/NG%20KOK%20MUN%20COPYRIGHT%20DECLARATION.pdf text en http://eprints.uthm.edu.my/7116/3/NG%20KOK%20MUN%20WATERMARK.pdf Ng, Kok Mun (2006) A graphical method for automatic code generation from extended s-system petri net models. Masters thesis, Kolej Universiti Teknologi Tun Hussein Onn.
spellingShingle TJ Mechanical engineering and machinery
TJ212-225 Control engineering systems. Automatic machinery (General)
Ng, Kok Mun
A graphical method for automatic code generation from extended s-system petri net models
title A graphical method for automatic code generation from extended s-system petri net models
title_full A graphical method for automatic code generation from extended s-system petri net models
title_fullStr A graphical method for automatic code generation from extended s-system petri net models
title_full_unstemmed A graphical method for automatic code generation from extended s-system petri net models
title_short A graphical method for automatic code generation from extended s-system petri net models
title_sort graphical method for automatic code generation from extended s-system petri net models
topic TJ Mechanical engineering and machinery
TJ212-225 Control engineering systems. Automatic machinery (General)
url http://eprints.uthm.edu.my/7116/1/24p%20NG%20KOK%20MUN.pdf
http://eprints.uthm.edu.my/7116/2/NG%20KOK%20MUN%20COPYRIGHT%20DECLARATION.pdf
http://eprints.uthm.edu.my/7116/3/NG%20KOK%20MUN%20WATERMARK.pdf
http://eprints.uthm.edu.my/7116/
url_provider http://eprints.uthm.edu.my/