Closure properties of Watson-Crick Petri net

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.

	PDF - Published Version Restricted to Registered users only Download (1MB) | Request a copy
Preview	PDF (SCOPUS) - Supplemental Material Download (222kB) | Preview
Preview	PDF (WOS) - Supplemental Material Download (277kB) | Preview

Abstract

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.

Item Type:	Conference or Workshop Item (Plenary Papers)
Additional Information:	6846/70095
Uncontrolled Keywords:	Closure properties,Language, Petri net, Watson-Crick
Subjects:	T Technology > T Technology (General)
Kulliyyahs/Centres/Divisions/Institutes (Can select more than one option. Press CONTROL button):	Kulliyyah of Information and Communication Technology Kulliyyah of Information and Communication Technology Kulliyyah of Information and Communication Technology > Department of Computer Science Kulliyyah of Information and Communication Technology > Department of Computer Science
Depositing User:	Dr. Sherzod Turaev
Date Deposited:	24 Jan 2019 12:04
Last Modified:	11 Mar 2019 15:31
URI:	http://irep.iium.edu.my/id/eprint/70095

Actions (login required)

View Item