@inproceedings{10730c88f11b4d24a0e1983eb42fc3f0,

title = "Watson-Crick Petri net languages: The effect of labeling strategies",

abstract = "A Watson-Crick automaton is an automaton that works on tapes which are double stranded sequences of symbols related by Watson-Crick complementarity that are similar to the DNA molecules. However, this automaton cannot exploit the other fundamental features of DNA molecules such as the massive parallelism. Watson-Crick automata can be related to a model known as the Petri net. Petri net is a model based on the concepts of asynchronous and concurrent operation by the parts of a system and the realization by the parts can be represented by a graph or a net. From the relation between Watson-Crick automata and Petri net, a new model namely Watson-Crick Petri net has been developed. The language generated by Watson-Crick Petri net is a set of labeled sequences corresponding to the occurrence sequences of the model. In this research, some properties of languages generated by Watson-Crick Petri net are investigated.",

keywords = "DNA, Petri net, Watson-Crick, automata, language",

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

year = "2014",

doi = "10.1063/1.4887673",

language = "English",

isbn = "9780735412415",

series = "AIP Conference Proceedings",

publisher = "American Institute of Physics Inc.",

pages = "690--695",

booktitle = "Proceedings of the 21st National Symposium on Mathematical Sciences",

note = "21st National Symposium on Mathematical Sciences: Germination of Mathematical Sciences Education and Research Towards Global Sustainability, SKSM 21 ; Conference date: 06-11-2013 Through 08-11-2013",

}