Watson-Crick Petri net languages with finite sets of final markings
A Watson-Crick Petri net is a new formal model that enhances a Petri net with the Watson-Crick complementary feature adapted from DNA molecules. The transitions of a Watson-Crick Petri net are labeled with pairs of symbols, and a firing sequence of transitions of the Watson-Crick Petri net is consid...
| Main Authors: | , , , |
|---|---|
| Format: | Proceeding Paper |
| Language: | English English |
| Published: |
AIP Publishing
2014
|
| Subjects: | |
| Online Access: | http://irep.iium.edu.my/37013/6/37013-Watson-Crick%20Petri%20Net%20Languages%20with%20Finite%20sets.pdf http://irep.iium.edu.my/37013/5/37013-Watson-Crick%20Petri%20Net%20Languages%20with%20Finite_SCOPUS.pdf |
| _version_ | 1796878833723375616 |
|---|---|
| author | Mohamad Jan, Nurhidaya Fong, Wan Heng Sarmin, Nor Haniza Turaev, Sherzod |
| author_facet | Mohamad Jan, Nurhidaya Fong, Wan Heng Sarmin, Nor Haniza Turaev, Sherzod |
| author_sort | Mohamad Jan, Nurhidaya |
| collection | IIUM |
| description | A Watson-Crick Petri net is a new formal model that enhances a Petri net with the Watson-Crick complementary feature adapted from DNA molecules. The transitions of a Watson-Crick Petri net are labeled 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 symmetrically related symbols according to some mode of execution termination of the firing of transitions. As an execution termination mode, we can consider the set of all reachable markings and a finite set of final markings. In this research, we investigate the fundamental properties of Watson-Crick Petri net languages with finite sets of final markings. |
| first_indexed | 2024-03-05T23:27:01Z |
| format | Proceeding Paper |
| id | oai:generic.eprints.org:37013 |
| institution | International Islamic University Malaysia |
| language | English English |
| last_indexed | 2024-03-05T23:27:01Z |
| publishDate | 2014 |
| publisher | AIP Publishing |
| record_format | dspace |
| spelling | oai:generic.eprints.org:370132017-09-12T04:21:39Z http://irep.iium.edu.my/37013/ Watson-Crick Petri net languages with finite sets of final markings Mohamad Jan, Nurhidaya Fong, Wan Heng Sarmin, Nor Haniza Turaev, Sherzod QA75 Electronic computers. Computer science A Watson-Crick Petri net is a new formal model that enhances a Petri net with the Watson-Crick complementary feature adapted from DNA molecules. The transitions of a Watson-Crick Petri net are labeled 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 symmetrically related symbols according to some mode of execution termination of the firing of transitions. As an execution termination mode, we can consider the set of all reachable markings and a finite set of final markings. In this research, we investigate the fundamental properties of Watson-Crick Petri net languages with finite sets of final markings. AIP Publishing 2014 Proceeding Paper PeerReviewed application/pdf en http://irep.iium.edu.my/37013/6/37013-Watson-Crick%20Petri%20Net%20Languages%20with%20Finite%20sets.pdf application/pdf en http://irep.iium.edu.my/37013/5/37013-Watson-Crick%20Petri%20Net%20Languages%20with%20Finite_SCOPUS.pdf Mohamad Jan, Nurhidaya and Fong, Wan Heng and Sarmin, Nor Haniza and Turaev, Sherzod (2014) Watson-Crick Petri net languages with finite sets of final markings. In: 3rd International Conference on Mathematical Sciences, 17th-19th December 2013, Kuala Lumpur, Malaysia. http://scitation.aip.org/content/aip/proceeding/aipcp/1602 10.1063/1.4882587 |
| spellingShingle | QA75 Electronic computers. Computer science Mohamad Jan, Nurhidaya Fong, Wan Heng Sarmin, Nor Haniza Turaev, Sherzod Watson-Crick Petri net languages with finite sets of final markings |
| title | Watson-Crick Petri net languages with finite sets of final markings |
| title_full | Watson-Crick Petri net languages with finite sets of final markings |
| title_fullStr | Watson-Crick Petri net languages with finite sets of final markings |
| title_full_unstemmed | Watson-Crick Petri net languages with finite sets of final markings |
| title_short | Watson-Crick Petri net languages with finite sets of final markings |
| title_sort | watson crick petri net languages with finite sets of final markings |
| topic | QA75 Electronic computers. Computer science |
| url | http://irep.iium.edu.my/37013/6/37013-Watson-Crick%20Petri%20Net%20Languages%20with%20Finite%20sets.pdf http://irep.iium.edu.my/37013/5/37013-Watson-Crick%20Petri%20Net%20Languages%20with%20Finite_SCOPUS.pdf |
| work_keys_str_mv | AT mohamadjannurhidaya watsoncrickpetrinetlanguageswithfinitesetsoffinalmarkings AT fongwanheng watsoncrickpetrinetlanguageswithfinitesetsoffinalmarkings AT sarminnorhaniza watsoncrickpetrinetlanguageswithfinitesetsoffinalmarkings AT turaevsherzod watsoncrickpetrinetlanguageswithfinitesetsoffinalmarkings |