Place-labelled petri net controlled grammars
A place-labelled Petri net (pPN) controlled grammar is a context-free grammar equipped with a Petri net and a function which maps places of the net to the productions of the grammar. The language consists of all terminal strings that can be obtained by simultaneously applying the rules of multisets...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English English English |
Published: |
Science Society Thailand
2017
|
Subjects: | |
Online Access: | http://irep.iium.edu.my/58699/ http://irep.iium.edu.my/58699/ http://irep.iium.edu.my/58699/ http://irep.iium.edu.my/58699/1/58699_Place-labelled%20Petri%20net.pdf http://irep.iium.edu.my/58699/2/58699_Place-labelled%20Petri%20net_SCOPUS.pdf http://irep.iium.edu.my/58699/3/58699_Place-labelled%20Petri%20net_WOS.pdf |
id |
iium-58699 |
---|---|
recordtype |
eprints |
spelling |
iium-586992017-10-09T04:20:06Z http://irep.iium.edu.my/58699/ Place-labelled petri net controlled grammars Mohamad Jan, Nurhidaya Turaev, Sherzod Fong, Wan Heng Sarmin, Nor Haniza QA Mathematics QA75 Electronic computers. Computer science A place-labelled Petri net (pPN) controlled grammar is a context-free grammar equipped with a Petri net and a function which maps places of the net to the productions of the grammar. The language consists of all terminal strings that can be obtained by simultaneously applying 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 study the generative power and structural properties of pPN-controlled grammars. We show that pPN-controlled grammars have the same generative power as matrix grammars. Moreover, we prove that for each pPN-controlled grammar, we can construct an equivalent place-labelled ordinary net controlled grammar. Science Society Thailand 2017 Article PeerReviewed application/pdf en http://irep.iium.edu.my/58699/1/58699_Place-labelled%20Petri%20net.pdf application/pdf en http://irep.iium.edu.my/58699/2/58699_Place-labelled%20Petri%20net_SCOPUS.pdf application/pdf en http://irep.iium.edu.my/58699/3/58699_Place-labelled%20Petri%20net_WOS.pdf Mohamad Jan, Nurhidaya and Turaev, Sherzod and Fong, Wan Heng and Sarmin, Nor Haniza (2017) Place-labelled petri net controlled grammars. ScienceAsia, 43S. pp. 9-19. ISSN 1513-1874 http://www.scienceasia.org/2017.43S.n1/scias43S_9.pdf 10.2306/scienceasia1513-1874.2017.43S.009 |
repository_type |
Digital Repository |
institution_category |
Local University |
institution |
International Islamic University Malaysia |
building |
IIUM Repository |
collection |
Online Access |
language |
English English 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 Place-labelled petri net controlled grammars |
description |
A place-labelled Petri net (pPN) controlled grammar is a context-free grammar equipped with a Petri net and a function which maps places of the net to the productions of the grammar. The language consists of all terminal strings that can be obtained by simultaneously applying 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 study the generative power and structural properties of pPN-controlled grammars. We show that pPN-controlled grammars have the same generative power as matrix grammars. Moreover, we prove that for each pPN-controlled grammar, we can construct an equivalent place-labelled ordinary net controlled grammar. |
format |
Article |
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 |
Place-labelled petri net controlled grammars |
title_short |
Place-labelled petri net controlled grammars |
title_full |
Place-labelled petri net controlled grammars |
title_fullStr |
Place-labelled petri net controlled grammars |
title_full_unstemmed |
Place-labelled petri net controlled grammars |
title_sort |
place-labelled petri net controlled grammars |
publisher |
Science Society Thailand |
publishDate |
2017 |
url |
http://irep.iium.edu.my/58699/ http://irep.iium.edu.my/58699/ http://irep.iium.edu.my/58699/ http://irep.iium.edu.my/58699/1/58699_Place-labelled%20Petri%20net.pdf http://irep.iium.edu.my/58699/2/58699_Place-labelled%20Petri%20net_SCOPUS.pdf http://irep.iium.edu.my/58699/3/58699_Place-labelled%20Petri%20net_WOS.pdf |
first_indexed |
2023-09-18T21:23:01Z |
last_indexed |
2023-09-18T21:23:01Z |
_version_ |
1777412008253063168 |