参考文献
［1］Leporati A，Mauri G，Zandron C，et al.Uniform solutions to SAT and subset sum by spiking neural P systems［J］.Natural Computing，2009，8（4）：681-702.
［2］Guo P，Ji J，Chen H.Solving All-SAT problems by P systems［J］.Chinese Journal of Electronics，2015，24（4）：744-749.
［3］Luo Y，Xiong Z，Tan H，et al.A uniform algorithm of solving All-SAT using membrane systems［J］.Journal of Computational＆Theoretical Nanoscience，2015，12（12）：5825-5832.
［4］Luo Y，Xiong Z，Chen Y，et al.Efficient solutions to All-SAT by P systems with active membranes［J］.Journal of Computational＆Theoretical Nanoscience，2016，13（6）：3887-3894.
［5］Buño K，Adorna H.Distributed computation of a k P systems with active membranes for SAT using clause completion［J］.Journal of Membrane Computing，2020，2（2）：108-120.
［6］Leporati A，Mauri G，Ferretti C，et al.Complexity aspects of polarizationless membrane systems［J］.Natural Computing，2009，8（4）：703-717.
［7］Orellana-Martín D，Valencia-Cabrera L，Riscos-Núñez A，et al.Membrane creation in polarizationless P systems with active membranes［J］.Fundamenta Informaticae，2019，171（1-4）：297-311.
［8］Gazdag Z，Kolonits G.A new method to simulate restricted variants of polarizationless P systems with active membranes［J］.Journal of Membrane Computing，2019，1（4）：251-261.
［9］Frisco P，Govan G，Leporati A.Asynchronous P systems with active membranes［J］.Theoretical Computer Science，2012，429：74-86.
［10］Song T，Macias-Ramos L，Pan L.Time-free solution to SAT problem using P systems with active membranes［J］.Theoretical Computer Science，2014，529：61-68.
［11］Song B，Song T，Pan L.Time-free solution to SAT problem by P systems with active membranes and standard cell division rules［J］.Natural Computing，2015，14（4）：673-681.
［12］Song B，Pan L.Computational efficiency and universality of timed P systems with active membranes［J］.Theoretical Computer Science，2015，567：74-86.
［13］Bottoni P，Martínvide C，Pǎun G.Membrane systems with promoters／inhibitors［J］.Acta Informatica，2002，38（38）：695-720.
［14］Song B，Zeng X，Jiang M，et al.Monodirectional tissue P systems with promoters［J］.IEEE Transactions on Cybernetics，2021，51（1）：438-450.
［15］Pan L，Wang Y，Jiang S，et al.Flat maximal parallelism in tissue P systems with promoters［J］.Romanian Journal of Information Science and Technology，2017，20（1）：42-56.
［16］Song B，Pan L.The computational power of tissue-like P systems with promoters［J］.Theoretical Computer Science，2016，641：43-52.