Closure properties of Watson-Crick Petri net
A Watson-Crick Petri net is a model that enhances a Petri net with the Watson-Crick complementarity feature adapted from DNA molecules. The transitions of a Watson-Crick Petri net are labelled with pairs of symbols, and a firing sequence of transitions of the Watson-Crick Petri net is considered as...
| Main Authors: | , , |
|---|---|
| Format: | Proceeding Paper |
| Language: | English English English |
| Published: |
American Institute of Physics Inc.
2018
|
| Subjects: | |
| Online Access: | http://irep.iium.edu.my/70095/ http://irep.iium.edu.my/70095/19/70095_Closure%20properties%20of%20Watson-Crick%20Petri%20net.pdf http://irep.iium.edu.my/70095/2/70095_Closure%20properties%20of%20Watson-Crick_SCOPUS.pdf http://irep.iium.edu.my/70095/13/70095_Closure%20properties%20of%20Watson-Crick%20Petri%20net_WOS.pdf |
| _version_ | 1848787231883395072 |
|---|---|
| author | Mohamad Jan, Nurhidaya Fong, Wan Heng Turaev, Sherzod |
| author_facet | Mohamad Jan, Nurhidaya Fong, Wan Heng Turaev, Sherzod |
| author_sort | Mohamad Jan, Nurhidaya |
| building | IIUM Repository |
| collection | Online Access |
| description | A Watson-Crick Petri net is a model that enhances a Petri net with the Watson-Crick complementarity feature adapted from DNA molecules. The transitions of a Watson-Crick Petri net are labelled with pairs of symbols, and a firing sequence of transitions of the Watson-Crick Petri net is considered as successful if and only if it produces complete double-stranded sequences of symbols. In this research, the closure properties of Watson-Crick Petri net are determined under several operations such as concatenation, union, intersection and concurrent composition. Some new definitions of the closure properties are defined. Also, the generative power of Watson-Crick Petri net languages under the closure properties are discussed by some examples and theorems. It is shown that the family of Watson-Crick Petri net languages is closed under concatenation, union, intersection and concurrent composition. |
| first_indexed | 2025-11-14T17:21:39Z |
| format | Proceeding Paper |
| id | iium-70095 |
| institution | International Islamic University Malaysia |
| institution_category | Local University |
| language | English English English |
| last_indexed | 2025-11-14T17:21:39Z |
| publishDate | 2018 |
| publisher | American Institute of Physics Inc. |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | iium-700952019-03-11T07:31:34Z http://irep.iium.edu.my/70095/ Closure properties of Watson-Crick Petri net Mohamad Jan, Nurhidaya Fong, Wan Heng Turaev, Sherzod T Technology (General) A Watson-Crick Petri net is a model that enhances a Petri net with the Watson-Crick complementarity feature adapted from DNA molecules. The transitions of a Watson-Crick Petri net are labelled with pairs of symbols, and a firing sequence of transitions of the Watson-Crick Petri net is considered as successful if and only if it produces complete double-stranded sequences of symbols. In this research, the closure properties of Watson-Crick Petri net are determined under several operations such as concatenation, union, intersection and concurrent composition. Some new definitions of the closure properties are defined. Also, the generative power of Watson-Crick Petri net languages under the closure properties are discussed by some examples and theorems. It is shown that the family of Watson-Crick Petri net languages is closed under concatenation, union, intersection and concurrent composition. American Institute of Physics Inc. 2018 Proceeding Paper PeerReviewed application/pdf en http://irep.iium.edu.my/70095/19/70095_Closure%20properties%20of%20Watson-Crick%20Petri%20net.pdf application/pdf en http://irep.iium.edu.my/70095/2/70095_Closure%20properties%20of%20Watson-Crick_SCOPUS.pdf application/pdf en http://irep.iium.edu.my/70095/13/70095_Closure%20properties%20of%20Watson-Crick%20Petri%20net_WOS.pdf Mohamad Jan, Nurhidaya and Fong, Wan Heng and Turaev, Sherzod (2018) Closure properties of Watson-Crick Petri net. In: 25th National Symposium on Mathematical Sciences: Mathematical Sciences as the Core of Intellectual Excellence, SKSM 2017, 27th-29th August 2017, Kuantan, Pahang. https://aip.scitation.org/doi/pdf/10.1063/1.5041659?class=pdf 10.1063/1.5041659 |
| spellingShingle | T Technology (General) Mohamad Jan, Nurhidaya Fong, Wan Heng Turaev, Sherzod Closure properties of Watson-Crick Petri net |
| title | Closure properties of Watson-Crick Petri net |
| title_full | Closure properties of Watson-Crick Petri net |
| title_fullStr | Closure properties of Watson-Crick Petri net |
| title_full_unstemmed | Closure properties of Watson-Crick Petri net |
| title_short | Closure properties of Watson-Crick Petri net |
| title_sort | closure properties of watson-crick petri net |
| topic | T Technology (General) |
| url | http://irep.iium.edu.my/70095/ http://irep.iium.edu.my/70095/ http://irep.iium.edu.my/70095/ http://irep.iium.edu.my/70095/19/70095_Closure%20properties%20of%20Watson-Crick%20Petri%20net.pdf http://irep.iium.edu.my/70095/2/70095_Closure%20properties%20of%20Watson-Crick_SCOPUS.pdf http://irep.iium.edu.my/70095/13/70095_Closure%20properties%20of%20Watson-Crick%20Petri%20net_WOS.pdf |