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: | Conference or Workshop Item |
| 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/ 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 |
| id |
iium-70095 |
|---|---|
| recordtype |
eprints |
| 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 Conference or Workshop Item 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 |
| repository_type |
Digital Repository |
| institution_category |
Local University |
| institution |
International Islamic University Malaysia |
| building |
IIUM Repository |
| collection |
Online Access |
| language |
English English English |
| topic |
T Technology (General) |
| spellingShingle |
T Technology (General) Mohamad Jan, Nurhidaya Fong, Wan Heng Turaev, Sherzod Closure properties of Watson-Crick Petri net |
| 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. |
| format |
Conference or Workshop Item |
| author |
Mohamad Jan, Nurhidaya Fong, Wan Heng Turaev, Sherzod |
| author_facet |
Mohamad Jan, Nurhidaya Fong, Wan Heng Turaev, Sherzod |
| author_sort |
Mohamad Jan, Nurhidaya |
| title |
Closure properties of Watson-Crick Petri net |
| title_short |
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_sort |
closure properties of watson-crick petri net |
| publisher |
American Institute of Physics Inc. |
| publishDate |
2018 |
| 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 |
| first_indexed |
2023-09-18T21:39:31Z |
| last_indexed |
2023-09-18T21:39:31Z |
| _version_ |
1777413045871443968 |