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...
| Main Authors: | , , , |
|---|---|
| Format: | Proceeding Paper |
| Language: | English |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://irep.iium.edu.my/42431/ http://irep.iium.edu.my/42431/1/Structural_Properties_of_Place-Labeled_-_ICCEMS.pdf |
| _version_ | 1848782270122426368 |
|---|---|
| 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 |
| building | IIUM Repository |
| collection | Online Access |
| 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. |
| first_indexed | 2025-11-14T16:02:47Z |
| format | Proceeding Paper |
| id | iium-42431 |
| institution | International Islamic University Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T16:02:47Z |
| publishDate | 2014 |
| recordtype | eprints |
| repository_type | Digital Repository |
| 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 Proceeding Paper 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 |
| 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 |
| title | 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_short | Structural properties of place-labeled Petri net controlled grammars |
| title_sort | structural properties of place-labeled petri net controlled grammars |
| topic | QA Mathematics QA75 Electronic computers. Computer science |
| 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 |