Watson-Crick automata are one of the automata types that are used for transitions with two reading heads. This automata work on double stranded sequences related by a complementarity relation similar with the Watson-Crick complementarity of DNA molecules. Watson-Crick automata can be related to a Petri net, which is a graphical and mathematical formalism suitable for the modeling and analysis of concurrent, asynchronous and distributed systems. From the relation between Watson-Crick automata

more »

... Petri net, a new model namely Watson-Crick Petri net has been developed. In this paper, a new variant of Watson-Crick automata with Petri net as a control unit is introduced. We also presented various types of Watson-Crick Petri nets that are generated using transitions labelled with various labelling policies and finite sets of final markings. Abstrak Automata Watson-Crick adalah salah satu jenis automata yang menggunakan peralihan dengan dua kepala pembaca. Automata ini bertindak pada urutan dua terkandas yang berkaitan dengan hubungan saling melengkapi seperti pelengkapan Watson-Crick pada molekul DNA. Automata Watson-Crick boleh dikaitkan dengan jaring Petri, yang merupakan formalisme grafik dan matematik yang sesuai untuk model dan analisis serentak, segerak dan sistem teragih. Dari hubungan antara automata Watson-Crick dan jaring Petri, suatu model baru iaitu Watson-Crick jaring Petri telah dibangunkan. Dalam kertas kerja ini, satu varian baru automata Watson-Crick yang menggunakan jaring Petri sebagai unit kawalan diperkenalkan. Kami juga menyampaikan pelbagai jenis Watson-Crick jaring Petri yang dijanakan dengan menggunakan peralihan yang dilabelkan dengan pelbagai dasar pelabelan dan set terhingga tanda akhir.