@inproceedings{7393bd24527c4ac8bd1542686609f11d,

title = "Watson-Crick Petri net languages with finite sets of final markings",

abstract = "A Watson-Crick Petri net is a new formal model that enhances a Petri net with the Watson-Crick complementary feature adapted from DNA molecules. The transitions of a Watson-Crick Petri net are labeled 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 symmetrically related symbols according to some mode of execution termination of the firing of transitions. As an execution termination mode, we can consider the set of all reachable markings and a finite set of final markings. In this research, we investigate the fundamental properties of Watson-Crick Petri net languages with finite sets of final markings.",

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

language = "English",

isbn = "9780735412361",

series = "AIP Conference Proceedings",

publisher = "American Institute of Physics Inc.",

pages = "876--880",

booktitle = "Proceedings of the 3rd International Conference on Mathematical Sciences, ICMS 2013",

note = "3rd International Conference on Mathematical Sciences, ICMS 2013 ; Conference date: 17-12-2013 Through 19-12-2013",

}