Closure properties of Watson-Crick Petri net

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

doi:10.1063/1.5041659

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 proceeding › Conference 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 language	English
Title of host publication	Proceeding of the 25th National Symposium on Mathematical Sciences, SKSM 2017
Subtitle of host publication	Mathematical Sciences as the Core of Intellectual Excellence
Editors	Hamidah Maidinsah, Sarifah Radiah Sharif, Wan Eny Zarina Wan Abdul Rahman, Ajab Bai Akbarally, Mesliza Mohamed, Daud Mohamad, Maheran Mohd Jaffar
Publisher	American Institute of Physics Inc.
ISBN (Electronic)	9780735416819
DOIs	https://doi.org/10.1063/1.5041659
Publication status	Published - Jun 28 2018
Externally published	Yes
Event	25th National Symposium on Mathematical Sciences: Mathematical Sciences as the Core of Intellectual Excellence, SKSM 2017 - Kuantan, Pahang, Malaysia Duration: Aug 27 2017 → Aug 29 2017

Publication series

Name	AIP Conference Proceedings
Volume	1974
ISSN (Print)	0094-243X
ISSN (Electronic)	1551-7616

Conference

Conference	25th National Symposium on Mathematical Sciences: Mathematical Sciences as the Core of Intellectual Excellence, SKSM 2017
Country/Territory	Malaysia
City	Kuantan, Pahang
Period	8/27/17 → 8/29/17

Keywords

Closure properties
Language
Petri net
Watson-Crick

ASJC Scopus subject areas

General Physics and Astronomy

Access to Document

10.1063/1.5041659

Cite this

Jan, N. M., Heng, F. W., Sarmin, N. H., & Turaev, S. (2018). Closure properties of Watson-Crick Petri net. In H. Maidinsah, S. R. Sharif, W. E. Z. W. A. Rahman, A. B. Akbarally, M. Mohamed, D. Mohamad, & M. M. Jaffar (Eds.), Proceeding of the 25th National Symposium on Mathematical Sciences, SKSM 2017: Mathematical Sciences as the Core of Intellectual Excellence Article 030015 (AIP Conference Proceedings; Vol. 1974). American Institute of Physics Inc.. https://doi.org/10.1063/1.5041659

Closure properties of Watson-Crick Petri net. / Jan, Nurhidaya Mohamad; Heng, Fong Wan; Sarmin, Nor Haniza et al.
Proceeding of the 25th National Symposium on Mathematical Sciences, SKSM 2017: Mathematical Sciences as the Core of Intellectual Excellence. ed. / Hamidah Maidinsah; Sarifah Radiah Sharif; Wan Eny Zarina Wan Abdul Rahman; Ajab Bai Akbarally; Mesliza Mohamed; Daud Mohamad; Maheran Mohd Jaffar. American Institute of Physics Inc., 2018. 030015 (AIP Conference Proceedings; Vol. 1974).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Jan, NM, Heng, FW, Sarmin, NH & Turaev, S 2018, Closure properties of Watson-Crick Petri net. in H Maidinsah, SR Sharif, WEZWA Rahman, AB Akbarally, M Mohamed, D Mohamad & MM Jaffar (eds), Proceeding of the 25th National Symposium on Mathematical Sciences, SKSM 2017: Mathematical Sciences as the Core of Intellectual Excellence., 030015, AIP Conference Proceedings, vol. 1974, American Institute of Physics Inc., 25th National Symposium on Mathematical Sciences: Mathematical Sciences as the Core of Intellectual Excellence, SKSM 2017, Kuantan, Pahang, Malaysia, 8/27/17. https://doi.org/10.1063/1.5041659

Jan NM, Heng FW, Sarmin NH, Turaev S. Closure properties of Watson-Crick Petri net. In Maidinsah H, Sharif SR, Rahman WEZWA, Akbarally AB, Mohamed M, Mohamad D, Jaffar MM, editors, Proceeding of the 25th National Symposium on Mathematical Sciences, SKSM 2017: Mathematical Sciences as the Core of Intellectual Excellence. American Institute of Physics Inc. 2018. 030015. (AIP Conference Proceedings). doi: 10.1063/1.5041659

Jan, Nurhidaya Mohamad ; Heng, Fong Wan ; Sarmin, Nor Haniza et al. / Closure properties of Watson-Crick Petri net. Proceeding of the 25th National Symposium on Mathematical Sciences, SKSM 2017: Mathematical Sciences as the Core of Intellectual Excellence. editor / Hamidah Maidinsah ; Sarifah Radiah Sharif ; Wan Eny Zarina Wan Abdul Rahman ; Ajab Bai Akbarally ; Mesliza Mohamed ; Daud Mohamad ; Maheran Mohd Jaffar. American Institute of Physics Inc., 2018. (AIP Conference Proceedings).

@inproceedings{1d982b7e8cb44634a89a271a42eccc84,

title = "Closure properties of Watson-Crick Petri net",

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

keywords = "Closure properties, Language, Petri net, Watson-Crick",

author = "Jan, {Nurhidaya Mohamad} and Heng, {Fong Wan} and Sarmin, {Nor Haniza} and Sherzod Turaev",

note = "Publisher Copyright: {\textcopyright} 2018 Author(s).; 25th National Symposium on Mathematical Sciences: Mathematical Sciences as the Core of Intellectual Excellence, SKSM 2017 ; Conference date: 27-08-2017 Through 29-08-2017",

year = "2018",

month = jun,

day = "28",

doi = "10.1063/1.5041659",

language = "English",

series = "AIP Conference Proceedings",

publisher = "American Institute of Physics Inc.",

editor = "Hamidah Maidinsah and Sharif, {Sarifah Radiah} and Rahman, {Wan Eny Zarina Wan Abdul} and Akbarally, {Ajab Bai} and Mesliza Mohamed and Daud Mohamad and Jaffar, {Maheran Mohd}",

booktitle = "Proceeding of the 25th National Symposium on Mathematical Sciences, SKSM 2017",

}

TY - GEN

T1 - Closure properties of Watson-Crick Petri net

AU - Jan, Nurhidaya Mohamad

AU - Heng, Fong Wan

AU - Sarmin, Nor Haniza

AU - Turaev, Sherzod

PY - 2018/6/28

Y1 - 2018/6/28

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

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

KW - Closure properties

KW - Language

KW - Petri net

KW - Watson-Crick

UR - http://www.scopus.com/inward/record.url?scp=85049782926&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85049782926&partnerID=8YFLogxK

U2 - 10.1063/1.5041659

DO - 10.1063/1.5041659

M3 - Conference contribution

AN - SCOPUS:85049782926

T3 - AIP Conference Proceedings

BT - Proceeding of the 25th National Symposium on Mathematical Sciences, SKSM 2017

A2 - Maidinsah, Hamidah

A2 - Sharif, Sarifah Radiah

A2 - Rahman, Wan Eny Zarina Wan Abdul

A2 - Akbarally, Ajab Bai

A2 - Mohamed, Mesliza

A2 - Mohamad, Daud

A2 - Jaffar, Maheran Mohd

PB - American Institute of Physics Inc.

T2 - 25th National Symposium on Mathematical Sciences: Mathematical Sciences as the Core of Intellectual Excellence, SKSM 2017

Y2 - 27 August 2017 through 29 August 2017

ER -

Closure properties of Watson-Crick Petri net

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this