Closure properties of Watson-Crick Petri net

Nurhidaya Mohamad Jan, Fong Wan Heng, Nor Haniza Sarmin, Sherzod Turaev

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProceeding of the 25th National Symposium on Mathematical Sciences, SKSM 2017
Subtitle of host publicationMathematical Sciences as the Core of Intellectual Excellence
EditorsHamidah Maidinsah, Sarifah Radiah Sharif, Wan Eny Zarina Wan Abdul Rahman, Ajab Bai Akbarally, Mesliza Mohamed, Daud Mohamad, Maheran Mohd Jaffar
PublisherAmerican Institute of Physics Inc.
ISBN (Electronic)9780735416819
DOIs
Publication statusPublished - Jun 28 2018
Externally publishedYes
Event25th National Symposium on Mathematical Sciences: Mathematical Sciences as the Core of Intellectual Excellence, SKSM 2017 - Kuantan, Pahang, Malaysia
Duration: Aug 27 2017Aug 29 2017

Publication series

NameAIP Conference Proceedings
Volume1974
ISSN (Print)0094-243X
ISSN (Electronic)1551-7616

Conference

Conference25th National Symposium on Mathematical Sciences: Mathematical Sciences as the Core of Intellectual Excellence, SKSM 2017
Country/TerritoryMalaysia
CityKuantan, Pahang
Period8/27/178/29/17

Keywords

  • Closure properties
  • Language
  • Petri net
  • Watson-Crick

ASJC Scopus subject areas

  • Physics and Astronomy(all)

Fingerprint

Dive into the research topics of 'Closure properties of Watson-Crick Petri net'. Together they form a unique fingerprint.

Cite this