@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",
}