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:	English English English
Published:	2006
Subjects:	TJ Mechanical engineering and machinery
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
Tags:	Add Tag No Tags, Be the first to tag this record!

id	my-uthm-ep.7116
record_format	uketd_dc
spelling	my-uthm-ep.71162022-06-08T02:09:33Z A graphical method for automatic code generation from extended s-system petri net models 2006-07 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 http://eprints.uthm.edu.my/7116/ http://eprints.uthm.edu.my/7116/1/24p%20NG%20KOK%20MUN.pdf text en public http://eprints.uthm.edu.my/7116/2/NG%20KOK%20MUN%20COPYRIGHT%20DECLARATION.pdf text en staffonly http://eprints.uthm.edu.my/7116/3/NG%20KOK%20MUN%20WATERMARK.pdf text en validuser mphil masters Kolej Universiti Teknologi Tun Hussein Onn Fakulti Kejuruteraan Elektrik dan Elektronik
institution	Universiti Tun Hussein Onn Malaysia
collection	UTHM Institutional Repository
language	English English English
topic	TJ Mechanical engineering and machinery TJ Mechanical engineering and machinery
spellingShingle	TJ Mechanical engineering and machinery TJ Mechanical engineering and machinery Ng, Kok Mun A graphical method for automatic code generation from extended s-system petri net models
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
qualification_name	Master of Philosophy (M.Phil.)
qualification_level	Master's degree
author	Ng, Kok Mun
author_facet	Ng, Kok Mun
author_sort	Ng, Kok Mun
title	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_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_sort	graphical method for automatic code generation from extended s-system petri net models
granting_institution	Kolej Universiti Teknologi Tun Hussein Onn
granting_department	Fakulti Kejuruteraan Elektrik dan Elektronik
publishDate	2006
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
_version_	1747831114660052992

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

Similar Items