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...

Full description

Bibliographic Details
Main Authors:	Mohamad Jan, Nurhidaya, Fong, Wan Heng, Sarmin, Nor Haniza, Turaev, Sherzod
Format:	Conference or Workshop Item
Language:	English English
Published:	AIP Publishing 2014
Subjects:	QA75 Electronic computers. Computer science
Online Access:	http://irep.iium.edu.my/37013/ http://irep.iium.edu.my/37013/ http://irep.iium.edu.my/37013/ 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

id	iium-37013
recordtype	eprints
spelling	iium-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 Conference or Workshop Item 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
repository_type	Digital Repository
institution_category	Local University
institution	International Islamic University Malaysia
building	IIUM Repository
collection	Online Access
language	English English
topic	QA75 Electronic computers. Computer science
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
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.
format	Conference or Workshop Item
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
title	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_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_sort	watson-crick petri net languages with finite sets of final markings
publisher	AIP Publishing
publishDate	2014
url	http://irep.iium.edu.my/37013/ http://irep.iium.edu.my/37013/ http://irep.iium.edu.my/37013/ 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
first_indexed	2023-09-18T20:53:05Z
last_indexed	2023-09-18T20:53:05Z
_version_	1777410124741083136

Watson-Crick Petri net languages with finite sets of final markings

Similar Items