Structural properties of place-labeled Petri net controlled grammars

A place-labeled Petri net controlled grammar is a context-free grammar equipped with a Petri net and a function which maps places of the net to productions of the grammar. The language consists of all terminal strings that can be obtained by parallelly applying of the rules of multisets which are th...

Full description

Bibliographic Details
Main Authors:	Mohamad Jan, Nurhidaya, Turaev, Sherzod, Fong, Wan Heng, Sarmin, Nor Haniza
Format:	Conference or Workshop Item
Language:	English
Published:	2014
Subjects:	QA Mathematics QA75 Electronic computers. Computer science
Online Access:	http://irep.iium.edu.my/42431/ http://irep.iium.edu.my/42431/ http://irep.iium.edu.my/42431/1/Structural_Properties_of_Place-Labeled_-_ICCEMS.pdf

id	iium-42431
recordtype	eprints
spelling	iium-424312015-04-20T02:01:33Z http://irep.iium.edu.my/42431/ Structural properties of place-labeled Petri net controlled grammars Mohamad Jan, Nurhidaya Turaev, Sherzod Fong, Wan Heng Sarmin, Nor Haniza QA Mathematics QA75 Electronic computers. Computer science A place-labeled Petri net controlled grammar is a context-free grammar equipped with a Petri net and a function which maps places of the net to productions of the grammar. The language consists of all terminal strings that can be obtained by parallelly applying of the rules of multisets which are the images of the sets of the input places of transitions in a successful occurrence sequence of the Petri net. In this paper, we investigate the structural properties of place-labeled Petri net controlled grammar related to control Petri nets. We show that removing useless places and transitions does not effect the generative capacity of the pPN controlled grammars. Moreover, we prove that for each pPN controlled grammar, we can construct an equivalent place-labeled ordinary net controlled grammar. Lastly, we show that the hierarchy problem for place-labeled bounded Petri net controlled grammars can be solved effectively. 2014 Conference or Workshop Item PeerReviewed application/pdf en http://irep.iium.edu.my/42431/1/Structural_Properties_of_Place-Labeled_-_ICCEMS.pdf Mohamad Jan, Nurhidaya and Turaev, Sherzod and Fong, Wan Heng and Sarmin, Nor Haniza (2014) Structural properties of place-labeled Petri net controlled grammars. In: The 3rd International Conference on Computer Engineering and Mathematical Sciences (ICCEMS 2014), 4-5 Dec 2014, Langkawi, Kedah. http://www.iium.edu.my/irkhs/events/2nd-international-conference-creativity-innovation-sustainable-development-icci-2014
repository_type	Digital Repository
institution_category	Local University
institution	International Islamic University Malaysia
building	IIUM Repository
collection	Online Access
language	English
topic	QA Mathematics QA75 Electronic computers. Computer science
spellingShingle	QA Mathematics QA75 Electronic computers. Computer science Mohamad Jan, Nurhidaya Turaev, Sherzod Fong, Wan Heng Sarmin, Nor Haniza Structural properties of place-labeled Petri net controlled grammars
description	A place-labeled Petri net controlled grammar is a context-free grammar equipped with a Petri net and a function which maps places of the net to productions of the grammar. The language consists of all terminal strings that can be obtained by parallelly applying of the rules of multisets which are the images of the sets of the input places of transitions in a successful occurrence sequence of the Petri net. In this paper, we investigate the structural properties of place-labeled Petri net controlled grammar related to control Petri nets. We show that removing useless places and transitions does not effect the generative capacity of the pPN controlled grammars. Moreover, we prove that for each pPN controlled grammar, we can construct an equivalent place-labeled ordinary net controlled grammar. Lastly, we show that the hierarchy problem for place-labeled bounded Petri net controlled grammars can be solved effectively.
format	Conference or Workshop Item
author	Mohamad Jan, Nurhidaya Turaev, Sherzod Fong, Wan Heng Sarmin, Nor Haniza
author_facet	Mohamad Jan, Nurhidaya Turaev, Sherzod Fong, Wan Heng Sarmin, Nor Haniza
author_sort	Mohamad Jan, Nurhidaya
title	Structural properties of place-labeled Petri net controlled grammars
title_short	Structural properties of place-labeled Petri net controlled grammars
title_full	Structural properties of place-labeled Petri net controlled grammars
title_fullStr	Structural properties of place-labeled Petri net controlled grammars
title_full_unstemmed	Structural properties of place-labeled Petri net controlled grammars
title_sort	structural properties of place-labeled petri net controlled grammars
publishDate	2014
url	http://irep.iium.edu.my/42431/ http://irep.iium.edu.my/42431/ http://irep.iium.edu.my/42431/1/Structural_Properties_of_Place-Labeled_-_ICCEMS.pdf
first_indexed	2023-09-18T21:00:29Z
last_indexed	2023-09-18T21:00:29Z
_version_	1777410590246961152

Structural properties of place-labeled Petri net controlled grammars

Similar Items